scientific article; zbMATH DE number 2086959

MaRDI QIDQ4737568zbMATH OpenFDO

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

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)

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

Cited in

(4)

• scientific article; zbMATH DE number 1693517 (Why is no real title available?)
• scientific article; zbMATH DE number 1949634 (Why is no real title available?)
• scientific article; zbMATH DE number 2006502 (Why is no real title available?)
• scientific article; zbMATH DE number 1860618 (Why is no real title available?)

Describes a project that uses

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)