Advertisement

An operational semantics for CSP

Extended abstract
  • Gordon Plotkin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Dij]
    Dijkstra, E.W. (1976) A Discipline of Programming. Prentice-Hall.Google Scholar
  2. [Hoa]
    Hoare, C.A.R. (1978) Communicating Sequential Processes. CACM, Vol. 21, No. 8, 666–677.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Gordon Plotkin

There are no affiliations available

Personalised recommendations