A theory of communicating processes with value-passing

  • M. Hennessy
  • A. Ingólfsdóttir
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 443)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bri 86]
    Brinksma, E. “A Tutorial on LOTOS.” Proceedings of IFIP Workshop on Protocol Specification, Testing and Verification V, M. Diaz, ed., pp. 73–84. North-Holland, Amsterdam, 1986.Google Scholar
  2. [DNH 84]
    DeNicola, R. and M. Hennessy. “Testing Equivalences for Processes.” Theoretical Computer Science, 24, 1984, pp. 83–113.Google Scholar
  3. [Gue 81]
    Guessarian, I., “Algebraic Semantics”, Springer-Verlag Lecture Notes in Computer Science, vol.99, 1981.Google Scholar
  4. [HP 80]
    Hennessy, M. and Plotkin, G., “A Term Model for CCS”, Springer-Verlag Lecture Notes in Computer Science, vol.88, 1980.Google Scholar
  5. [He 85]
    Hennessy, M. “Acceptance Trees.” Journal of the ACM, v. 32, n. 4, October 1985, pp. 896–928.Google Scholar
  6. [He 88]
    Hennessy, M. Algebraic Theory of Processes. MIT Press, Cambridge, 1988.Google Scholar
  7. [He 89]
    Hennessy, M., “A Proof System for Communicating Processes With Value — Passing”. Proceedings of Foundation of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, Springer-Verlag, Lecture Notes in Computer Science, vol 405, pp 325–339, 1989.Google Scholar
  8. [Hoa 85]
    Hoare, C.A.R. Communicating Sequential Processes. Prentice-Hall International, London, 1985.Google Scholar
  9. [RH 88]
    Hoare, C.A.R. and Roscoe, A.W., “The Laws of Occam” PRG Monograph, Oxford University, 1986.Google Scholar
  10. [In 84]
    Inmos Ltd., The Occam Programming Manual, Prentice-Hall, London, 1984.Google Scholar
  11. [Miln 88]
    Milne, R., “Concurrency Models and Axioms”, RAISE/STC/REM/6/V2, STC Technology Ltd., 1988.Google Scholar
  12. [Mil 80]
    Milner, R. A Calculus of Communicating Systems, Lecture Notes in Computer Science 92. Springer-Verlag, Berlin, 1980.Google Scholar
  13. [Mil 89]
    Milner, R., Calculus for Communication and Concurrency, Prentice-Hall, London 1989.Google Scholar
  14. [Plo 81]
    Plotkin, G., “Lecture Notes in Domain Theory”, University of Edinburgh, 1981.Google Scholar
  15. [Ros 87]
    Roscoe, A.W., “Denotational Semantics for Occam”, PRG Monograph, Oxford University, 1988.Google Scholar
  16. [Smt 86]
    Schmidt, D., Denotational Semantics, Allen and Bacon, 1986.Google Scholar
  17. [SP 82]
    Smyth, M. and Plotkin, G., ”The Category-Theoretic Solution of Recursive Domain Equations”, SIAM Journal on Computing, vol.11, No.4, 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • M. Hennessy
    • 1
  • A. Ingólfsdóttir
    • 1
  1. 1.University of SussexUK

Personalised recommendations