A complete set of axioms for a theory of communicating sequential processes

  • Rocco de Nicola
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 158)


In [9] an abstract version of Hoare's CSP is defined and a denotational semantics based on the possible failures of processes is given for it. This semantics induces a natural preorder on processes. We define formally this preorder and prove that it can be characterized as the smallest relation satisfying a particular set of axioms. The characterization will shed lights on problems arising from the way divergence and underspecification are handled.


Normal Form Operational Semantic Axiom System Congruence Relation Communicate Sequential Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [1]
    LNCS n denotes Lecture Notes in Computer Science Volume n. Springer-VerlagGoogle Scholar
  2. [1a]
    Asteslano,E. and Zucca,E. Semantics of CSP via translation into CCS, Proc. MFCS 1982, LNCS 116, 1982.Google Scholar
  3. [2]
    Brookes,S.D. A Model for Communicating Sequential Processes, Ph.D. thesis, University of Oxford, 1983.Google Scholar
  4. [3]
    De Nicola,R. and Hennessy,M. Testing equivalences for processes, Technical Report CSR-123-82. University of Edinburgh. To appear in Proc. ICALP '83.Google Scholar
  5. [4]
    Francez,N., Hoare,C.A.R., Lehmann,D.J. and De Roever,W.P. Semantics of nondeterminism, concurrency and communication. JCSS, Vol. 19, No. 3, 1979.Google Scholar
  6. [5]
    Guessarian,I. Algebraic Semantics, LNCS 99, 1981.Google Scholar
  7. [6]
    Hennessy, M., Milner, R. On Observing Nondeterminism and Concurrency. LNCS 85, pp. 299–309, 1980.Google Scholar
  8. [7]
    Hoare,C.A.R. Communicating Sequential Processes, CACM Vol. 21, No. 8, 1978.Google Scholar
  9. [8]
    Hoare,C.A.R. A Model for Communicating Sequential Processes. Technical Monograph Prg-22, Computing Laboratory, University of Oxford, 1982.Google Scholar
  10. [9]
    Hoare,C.A.R., Brookes,S.D., and Roscoe,A.D. A Theory of Communicating Sequential Processes, Technical Monograph Prg-16, Computing Laboratory, University of Oxford, 1981.Google Scholar
  11. [10]
    Milne,G. The representation of Communication and Concurrency, Internal Report, Computer Science Department, California Institute of Technology, 1980.Google Scholar
  12. [10]
    Milner, R. A Calculus of Communicating Systems, LNCS 92, 1980.Google Scholar
  13. [11]
    Olderog,E.R. and Hoare,C.A.R. Specification-Oriented Semantics for Communicating Processes, Unpublished Draft, Oxford University Computing Laboratory, 1982. To appear in Proc. ICALP '83.Google Scholar
  14. [12]
    Plotkin,G. A Powerdomain Constuction, SIAM J. on Computing, No. 5, pp. 452–486, 1976.Google Scholar
  15. [13]
    Plotkin,G. A Structural Approach to Operational Semantics, Lecture notes, Aarhus University, 1981.Google Scholar
  16. [14]
    Plotkin,G. An Operational Semantics for CSP. Internal Report, University of Edinburgh, CSR-114-82. To appear in Proc. IFIP WG 2.2 Working Conference on Formal Description of Programming Concepts II. North-Holland 198?.Google Scholar
  17. [15]
    Smyth, M.B. Power Domains, JCSS, Vol. 2, pp. 23–36, 1978.Google Scholar
  18. [16]
    Stoy,J. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Rocco de Nicola
    • 1
  1. 1.Department of Computer ScienceUniversity of EdinburghUK

Personalised recommendations