This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
[Abramski 83] S.Abramsky, R.Bornat: Pascal-m: a language for loosely coupled distributed systems. In Distributed Computing Systems; Synchronization, Control and Communication. Ed. Y.Parker, J.P.Verjus, Academic Press, 1983.
[Cardelli 83] L.Cardelli: The functional abstract machine. Bell Labs Technical Report TR-107, 1983.
[Cardelli 84] L.Cardelli: Amber. To appear.
[Inmos 84] INMOS Ltd.: occam programming manual. Prentice Hall, 1984
[Milner 80] R.Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science, n. 92, Springer-Verlag, 1980.
[Milner 82] R. Milner: Four combinators for concurrency. ACM Sigact-Sigops Symposium on Principles of Distributed Computing, Ottawa, Canada, 1982.
[Plotkin 81] G.D.Plotkin: A structural approach to Operational Semantics. Internal Report DAIMI FN-19, Computer Science Department, Aarhus University, September 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Cardelli, L. (1985). An implementation model of rendezvous communication. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds) Seminar on Concurrency. CONCURRENCY 1984. Lecture Notes in Computer Science, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15670-4_20
Download citation
DOI: https://doi.org/10.1007/3-540-15670-4_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15670-3
Online ISBN: 978-3-540-39593-5
eBook Packages: Springer Book Archive