Abstract
A variant of the static part of Milner's languageCCS 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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
G. Milne and R. Milner,Concurrent processes and their syntax, J. ACM 26, 2 (April 1979), 302–321.
R. Milner,Flowgraphs and flow algebras, J. ACM 26, 4 (October 1979), 794–818.
R. Milner,Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
L.-E. Thorelli,A linker allowing hierarchic composition of programs, Information Processing 83, R. E. A. Mason (ed.), Elsevier Science Publisher B.V. (North-Holland), 101–106.
D. Bjørner and C. B. Jones,Formal Specification and Software Development, Prentice-Hall, 1982.
R. E. Filman and D. P. Friedman,Coordinated Computing — Tools and Techniques for Distributed Software, McGraw-Hill, 1984.