This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
E.W. Dijkstra, "A discipline of programming", Prentice Hall, 1976.
C.A.R. Hoare, "Communicating Sequential Processes", Computer Science Dept, Queen's University, Belfast, 1976.
A. Mazurkiewicz, "Concurrent Program Schemes and their Interpretations", Workshop on Verification of Parallel Processes, Aarhus, Denmark, 1977.
G. Milne and R. Milner, "Concurrent Processes and their Syntax", CSR-2-77, Computer Science Dept, University of Edinburgh, 1977. (to appear in J.ACM).
R. Milner, "Flowgraphs and Flow Algebras", CSR-5-77, Computer Science Dept, University of Edinburgh, 1977. (submitted for publication).
C.A. Petri, "Nichtsequentielle Prozesse", Interner Bericht 76-6, GMD, Bonn, 1976.
D.S. Scott, "The Lattice of Flow Diagrams", Symposium on the Semantics of Algorithmic Languages, ed. E. Engeler, Lecture Notes in Computer Science 188, Springer-Verlag, 1971.
J. Winkowski, "An Algebraic characterization of the Behaviour of Non-sequential Systems", Information Processing Letters, 6,4,1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milner, R. (1978). Synthesis of communicating behaviour. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_57
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive