On the implementation of CSP mechanisms in loglan

  • Jolanta Warpechowska
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 208)


The implementation of CSP mechanisms in the Algol-like language with modern facilities is presented. Especially, the realization of communication between disjoint processes by a single data transfer and the realization of nondeterministic guarded commands is described. The semantics of implemented CSP mechanisms and their constraints in comparison to the standard CSP are investigated.


Boolean Expression Input Command Class Message Process Partner Command List 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

10. Bibliography

  1. /1/.
    C.A.R.Hoare — Communicating Sequential Processes — CACM Vol.21, No.8, 1978Google Scholar
  2. /2/.
    G. Plotkin — An operational Semantics for CSP — Proc. IFIP, 1982Google Scholar
  3. /3/.
    Report on the LOGLAN Programming Language — internal publication of IIUWGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Jolanta Warpechowska
    • 1
  1. 1.Institute of InformaticsWarsaw University PKiNWarsawPoland

Personalised recommendations