A language for linking modules into systems

DOI10.1007/BF01934380MaRDI QIDQ1060558zbMATH OpenFDO

Authors Lars-Erik Thorelli

Publication date 1985

Published in BIT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01934380

zbMATH Keywords

calculus of communicating systemsconcurrent processesexport-import relationshipslabeled directed graphsmany-to-one communication channelsMilner's language CCSsemantics

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Review text

A variant of the static part of Milner's language CCS is presented. It can be used for describing the construction of systems from modules, where the interconnection between modules is either export-import relationships of, for instance, procedures and types, or alternatively many-to-one communication channels. The semantics of the language is specified on two levels, the exterior level and the interior level. The exterior level semantics determines the legality of expressions, given externally visible properties of their constituent modules, while the interior level semantics associates a certain class of labeled directed graphs with expressions of the language.

Recommendations

• Semantics of communicating processes
• scientific article; zbMATH DE number 3995028
• A language for the description of interacting parallel processes. II
• A calculus for the construction of modular prolog programs
• An algebra of modular systems: static and dynamic perspectives

Cites work

• A calculus of communicating systems
• Concurrent Processes and Their Syntax
• Flowgraphs and Flow Algebras

Cited in

(1)

• Interfaces between languages for communicating systems

This page was built for publication: A language for linking modules into systems

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