A distributed protocol for channel-based communication with choice

  • Frederick Knabe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 605)


  1. 1.
    Dave Berry, Robin Milner, and David N. Turner. A semantics for ML concurrency primitives. POPL '92, 119–129.Google Scholar
  2. 2.
    G. N. Buckley and A. Silberschatz. An effective implementation for the generalized input-output construct of CSP. Trans. Prog. Lang. and Sys., 5(2):223–235, April 1983.CrossRefGoogle Scholar
  3. 3.
    Luca Cardelli. Amber. Combinators and Functional Programming Languages, LNCS 242, 21–47, Springer-Verlag, 1986.Google Scholar
  4. 4.
    Alessandro Giacalone, Prateek Mishra, and Sanjiva Prasad. Facile: A symmetric integration of concurrent and functional programming. Internat'l J. of Par. Prog., 18(2):121–160, April 1989.CrossRefGoogle Scholar
  5. 5.
    C.A.R. Hoare. Communicating sequential processes. CACM, 21(8):666–677, August 1978.Google Scholar
  6. 6.
    Sören Holström. PFL: A functional language for parallel programming and its imple-mentation. Report 83.03 R, Department of Computer Science, Chalmers University of Technology, 1983.Google Scholar
  7. 7.
    Frederick Knabe. A distributed protocol for channel-based communication with choice. Technical report, European Computer-Industry Research Centre GmbH, Munich, Germany, 1992.Google Scholar
  8. 8.
    Robin Milner. A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.Google Scholar
  9. 9.
    Robin Milner. Communication and Concurrency. Prentice Hall, 1989.Google Scholar
  10. 10.
    John H. Reppy. Synchronous operations as first-class values. SIGPLAN '88, 250–259.Google Scholar
  11. 11.
    John H. Reppy. CML: A higher-order concurrent language. SIGPLAN '91, 293–305.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Frederick Knabe
    • 1
  1. 1.European Computer-Industry Research Centre GmbHMunich 81Germany

Personalised recommendations