Advertisement

A semantics and proof system for communicating processes

  • Stephen D. Brookes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)

Keywords

Normal Form Inference Rule Proof System Failure Model Parallel Composition 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [AFR]
    Apt, K.R., Francez, N., and de Roever, W.P., A Proof System for Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems, Vol 2. No. 3 (July 1980).Google Scholar
  2. [B1]
    Brookes, S.D., A Model for Communicating Sequential Processes, Ph.D thesis, Oxford University (submitted 1983).Google Scholar
  3. [B2]
    Brookes, S.D., On the Relationship of CCS and CSP, CMU Technical Report CMU-CS-83-111, also to appear in Proceedings of ICALP 1983 (pub. Springer).Google Scholar
  4. [Gu]
    Guessarian, I., Algebraic Semantics, Springer-Verlag Lecture Notes in Computer Science Vol. 99 (1981).Google Scholar
  5. [H1]
    Hoare, C.A.R., Communicating Sequential Processes, Communications of the ACM (August 1978).Google Scholar
  6. [H2]
    Hoare, C.A.R., A Model for Communicating Sequential Processes, Technical Report PRG-22, Oxford University Computing Laboratory, Programming Research Group (1981).Google Scholar
  7. [HBR]
    Hoare, C.A.R., Brookes, S.D., and Roscoe, A.W., A Theory of Communicating Sequential Processes, Technical Report PRG-16, Oxford University Computing Laboratory, Programming Research Group (May 1981). (an extended version will appear in JACM)Google Scholar
  8. [HN]
    Hennessy, M.C.B., and de Nicola, R., Testing Equivalences for Processes, to appear in Proceedings of ICALP 1983.Google Scholar
  9. [LG]
    Levin, G.M., and Gries, D., A Proof Technique for Communicating Sequential Processes, Acta Informatica 15 (1981).Google Scholar
  10. [LNS]
    Lassez, J.-L., Nguyen, V.L., and Sonenberg, E.A., Fixed Point Theorems and Semantics: A Folk Tale, Information Processing Letters, Vol. 14 No. 3, May 1982.Google Scholar
  11. [M]
    Milner, R., A Calculus of Communicating Systems, Springer-Verlag Lecture Notes in Computer Science Vol. 92 (1980).Google Scholar
  12. [N]
    de Nicola, R., A Complete Set of Axioms for a Theory of Communicating Sequential Processes, Department of Computer Science Technical Monograph, University of Edinburgh (1983).Google Scholar
  13. [R]
    Roscoe, A.W., A Mathematical Theory of Communicating Processes, Ph. D. thesis, Oxford University (1982).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Stephen D. Brookes
    • 1
  1. 1.Carnegie-Mellon UniversityPittsburghUSA

Personalised recommendations