scientific article; zbMATH DE number 2086959

zbMATH Open1057.68627MaRDI QIDQ4737568FDOQ4737568

Authors: Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo 

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2335/23350319.htm

Title of this publication is not available (Why is that?)

Recommendations

• A graph-based approach to the compositional specification of distributed systems
• scientific article; zbMATH DE number 1949634
• Declarative modelling of distributed systems with graph rewriting languages.
• A formal approach to the engineering of domain-specific distributed systems
• scientific article; zbMATH DE number 1515852
• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• A framework for prototyping and reasoning about distributed systems
• Towards formal specification of a distributed computing system
• Formal Methods in Software and Systems Modeling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737568)