Operational semantics and a distributed implementation of CSP

  • Gerlinde Schreiber
Part V Implementation Issues
Part of the Lecture Notes in Computer Science book series (LNCS, volume 298)


In this paper an operational semantics for Hoare's CSP is presented. This semantics definition is used to develop an interpreter for CSP in a distributed environment. The correctness of this interpreter is proved.


Operational Semantic Multiprocessor System Process Configuration Static Semantic Semantic Definition 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [CH81]
    Zhou Chaochen, C.A.R. Hoare, "Partial correctness of CSP", in: Proc. of 2nd Intern. Conference on Distributed Computing, Paris, Computer Society Press, pp. 1–12, 1981Google Scholar
  2. [FS81]
    L. Shrira, N. Francez, "An experimental implementation of CSP", in: Proc. 2nd intern. Conference on Distributed Computing, Paris, Computer Society Press, 1981Google Scholar
  3. [GS85]
    G.B. Schreiber, "Operational semantics and a distributed implementation of CSP", Diplomarbeit, Department of Comp.Sc., Univ. Kiel, 1985 [in German]Google Scholar
  4. [HO78]
    C.A.R. Hoare, "Communicating sequential processes", Comm. ACM vo. 21, no. 8, pp. 666–677, 1978CrossRefGoogle Scholar
  5. [HO80]
    C.A.R. Hoare, "A model for CSP", in: R.M. McKeag, A.M McNeghton (Eds.) On the Construction of Programs, Cambridge University Press, pp. 229–243, 1980Google Scholar
  6. [HO81]
    C.A.R. Hoare, "A calculus of total correctness for CSP", Science of Computer Programming 1, pp. 49–72, 1981CrossRefGoogle Scholar
  7. [HBR81]
    C.A.R. Hoare, S.D. Brookes, A.W. Roscoe, "A theory of CSP", Techn. Monograph PRG-16, Oxford Univ., Program Research Group, Oxford, 1981Google Scholar
  8. [MS84]
    D. May, R. Shepherd, "The Transputer implementation of OCCAM", in: Proc. intern. Conference on Fifth Generation Computer Systems, 1984Google Scholar
  9. [OH84]
    E.-R. Olderog, C.A.R. Hoare, "Specification-oriented semantics for CSP", Techn. Monograph PRG-37, Oxford Univ., Program Research Group (1984)Google Scholar
  10. [PL83]
    G.D. Plotkin, "An operational semantics for CSP", in: D. Bjørner (Ed.), Formal Description of Programming Concepts II, Amsterdam, North Holland, pp. 199–223, 1983Google Scholar
  11. [RE83]
    R. Reinecke, "Networks of communicating processes: a functional implementation", Manuscript, Department of Comp.Sc., Univ. Kaiserslautern, 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Gerlinde Schreiber

There are no affiliations available

Personalised recommendations