A comparison of two notations for process communication

  • Jim Welsh
  • Andrew Lister
  • Eric J. Salzman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 79)


This paper compares the mechanisms for process communication, synchronisation and non-determinism in recent language proposals by Hoare and Brinch Hansen, by both qualitative and quantitative analyses. A significant variation in effectiveness with program class is shown.


Procedure Call Boolean Expression User Process Counting Strategy Process Body 


  1. Brinch Hansen P.[1973] "Operating System Principles", Prentice-Hall, Englewood Cliffs, N.J.Google Scholar
  2. Brinch Hansen P.[1975] "The programming language Concurrent Pascal", IEEE Transactions on Software Engineering, Vol 1, No 2.Google Scholar
  3. Brinch Hansen P.[1978] "Distributed processes", Comm.ACM, Vol 21, No 11.Google Scholar
  4. Dijkstra E.W.[1976] "A Discipline of Programming", Prentice-Hall, Englewood Cliffs, N.J.Google Scholar
  5. Elshoff J.L.[1978] "An investigation into the effects of the counting method used on software science measurements", ACM Sigplan Notices, Vol 13, No 2.Google Scholar
  6. Fitzsimmons A., Love T.[1978] "A review and evaluation of software science", ACM Computing Surveys, Vol 10, No 1.Google Scholar
  7. Halstead M.[1977] "Elements of Software Science", Elsevier North-Holland Inc., N.Y.Google Scholar
  8. Hoare C.A.R.[1974] "Monitors: an operating system structuring concept", Comm.ACM, Vol 17, No 10.Google Scholar
  9. Hoare C.A.R.[1978] "Communicating sequential processes", Comm.ACM, Vol 21, No 8.Google Scholar
  10. Welsh J., Bustard D.W.[1979] "Pascal-plus — another language for modular multiprogramming", Australian Computer Science Communications, Vol. 1, No. 1.Google Scholar
  11. Wirth N.[1977] "Modula: A programming language for modular multiprogramming", Software — Practice and Experience, Vol 7, No 1.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Jim Welsh
    • 1
  • Andrew Lister
    • 1
  • Eric J. Salzman
    • 1
  1. 1.Department of Computer ScienceUniversity of QueenslandAustralia

Personalised recommendations