Skip to main content
SpringerLink
Log in

Communication primitives in programming and specification languages

  • Requirements And Interfaces For Application Generation
  • Chapter
  • First Online:
Networking in Open Systems

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

  • 131 Accesses

Abstract

After a review of semaphores and monitors the principles underlying the programming language OCCAM are outlined. We show how it can also be used as a specification language. We also examine in detail the language CCS, principely by giving examples of processes or specifications. We end with some remarks on the issues raised by these modern languages which on the one hand may be viewed as programming languages for highly parallel architectures and on the other languages for specifying the required behaviour of systems.

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. E. Dykstra, "The Hiararchical Design of Processes". Acta Informatica 1, pp.115–138, 1971.

    Article  Google Scholar 

  2. G. Andrews and F. Schneider, "Concepts and Notations for Concurrent Programming", Computing Surveys 15, no.1, pp.3–43, 1983.

    Article  Google Scholar 

  3. P. Brinch Hansen, "The Programming Language Concurrent Pascal", IEEE Transactions on Software Engineering, vol.1 (2), pp.199–207, 1975.

    Google Scholar 

  4. B. Lampson and D. Redell, "Experience with Processes and Monitors in Mesa", CACM vol.23 (2), pp.105–117, 1980.

    Google Scholar 

  5. Inmos Ltd., "OCCAM Programming Manual", Prentice-Hall, 1984.

    Google Scholar 

  6. R. Milner, "A Calculus for Communicating Systems", Lecture Notes in Computer Science, vol., Springer-Verlag, 1980.

    Google Scholar 

  7. C. Hoare, "Communicating Sequential Processes", Prentice-Hall, 1985.

    Google Scholar 

  8. D. Austry and G. Boudol, "Algèbre des Processus et Synchronisation", Theoret. Comp. Science 30, No.1, pp.91–132, 1984.

    Article  Google Scholar 

  9. J. Bergstra and J. Klop, "Process Algebra for Synchronous Communication", Information and Control 60, pp.109–137, 1984.

    Article  Google Scholar 

  10. 150 DP8807, "LOTOS — A Formal Description Technique based on Temporal Ordering of Observational Behaviour", 1985.

    Google Scholar 

  11. G. Plotkin, "A Structural Approach to Operational Semantics", University of Aarhus Notes, 1982.

    Google Scholar 

  12. R. De Nicola and M. Hennessy, "Testing Equivalences for Processes", Theor. Computer Science 34, pp.84–133, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Sussex, UK

    M Hennessy

Authors
  1. M Hennessy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Günter Müller Robert P. Blanc

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hennessy, M. (1987). Communication primitives in programming and specification languages. In: Müller, G., Blanc, R.P. (eds) Networking in Open Systems. Lecture Notes in Computer Science, vol 248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026964

Download citation

  • DOI: https://doi.org/10.1007/BFb0026964

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17707-4

  • Online ISBN: 978-3-540-47777-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation