Skip to main content
SpringerLink
Log in

Operational semantics and a distributed implementation of CSP

  • Part V Implementation Issues
  • Conference paper
  • First Online:
Mathematical Foundations of Programming Language Semantics (MFPS 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 298))

  • 172 Accesses

Abstract

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.

This work was developed at the University of Kiel, West Germany, and was partially supported by the DFG.

The author is employed at Siemens AG, E STE 366, 8520 Erlangen, West Germany.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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, 1981

    Google Scholar 

  2. L. Shrira, N. Francez, "An experimental implementation of CSP", in: Proc. 2nd intern. Conference on Distributed Computing, Paris, Computer Society Press, 1981

    Google Scholar 

  3. G.B. Schreiber, "Operational semantics and a distributed implementation of CSP", Diplomarbeit, Department of Comp.Sc., Univ. Kiel, 1985 [in German]

    Google Scholar 

  4. C.A.R. Hoare, "Communicating sequential processes", Comm. ACM vo. 21, no. 8, pp. 666–677, 1978

    Article  Google Scholar 

  5. 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, 1980

    Google Scholar 

  6. C.A.R. Hoare, "A calculus of total correctness for CSP", Science of Computer Programming 1, pp. 49–72, 1981

    Article  Google Scholar 

  7. C.A.R. Hoare, S.D. Brookes, A.W. Roscoe, "A theory of CSP", Techn. Monograph PRG-16, Oxford Univ., Program Research Group, Oxford, 1981

    Google Scholar 

  8. D. May, R. Shepherd, "The Transputer implementation of OCCAM", in: Proc. intern. Conference on Fifth Generation Computer Systems, 1984

    Google Scholar 

  9. 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. 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, 1983

    Google Scholar 

  11. R. Reinecke, "Networks of communicating processes: a functional implementation", Manuscript, Department of Comp.Sc., Univ. Kaiserslautern, 1983

    Google Scholar 

Download references

Authors
  1. Gerlinde Schreiber
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Main A. Melton M. Mislove D. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schreiber, G. (1988). Operational semantics and a distributed implementation of CSP. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Language Semantics. MFPS 1987. Lecture Notes in Computer Science, vol 298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19020-1_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-19020-1_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19020-2

  • Online ISBN: 978-3-540-38920-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation