A process algebra for interworkings.

MaRDI QIDQ2760256zbMATH OpenFDO

Authors Sjouke Mauw, Michel A. Reniers

Publication date 2001

zbMATH Keywords

interworking languageoperational semantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

The authors developed a formal semantics for the interworking language, a graphical formalism for the communication behaviour of systems components. The semantics is defined in terms of process algebras and supports the analysis of collection of interworking diagrams and allow expressing the relation between diagrams. A number of process algebras with increasing complexity are defined and analysed. For each algebra analysed, its completeness with respect to an operational semantics is proven.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].

Recommendations

• Refinement in Interworkings
• Interpreted Systems Semantics for Process Algebra with Identity Annotations
• Deriving graphical representations of process networks from algebraic expressions
• scientific article; zbMATH DE number 4016181
• Semantics of communicating processes

Cited in

(9)

• A definition language for the communication interconnections in distributied automation systems
• Process algebras for systems diagnosis.
• Process Algebra for Parallel and Distributed Processing
• scientific article; zbMATH DE number 2020211 (Why is no real title available?)
• Multiple synchrony in MSC
• Formal definition of XCCS modelling language
• scientific article; zbMATH DE number 2188495 (Why is no real title available?)
• Refinement in Interworkings
• Deriving graphical representations of process networks from algebraic expressions

This page was built for publication: A process algebra for interworkings.

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