Advertisement

An implementation model of rendezvous communication

  • Luca Cardelli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 197)

Keywords

Schedule Policy Current Process Address Space Input Pool Output Communication 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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.Google Scholar
  2. [Cardelli 83] L.Cardelli: The functional abstract machine. Bell Labs Technical Report TR-107, 1983.Google Scholar
  3. [Cardelli 84] L.Cardelli: Amber. To appear.Google Scholar
  4. [Inmos 84] INMOS Ltd.: occam programming manual. Prentice Hall, 1984Google Scholar
  5. [Milner 80] R.Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science, n. 92, Springer-Verlag, 1980.Google Scholar
  6. [Milner 82] R. Milner: Four combinators for concurrency. ACM Sigact-Sigops Symposium on Principles of Distributed Computing, Ottawa, Canada, 1982.Google Scholar
  7. [Plotkin 81] G.D.Plotkin: A structural approach to Operational Semantics. Internal Report DAIMI FN-19, Computer Science Department, Aarhus University, September 1981.Google Scholar

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • Luca Cardelli
    • 1
  1. 1.AT&T Bell LaboratoriesMurray Hill

Personalised recommendations