Preview
Unable to display preview. Download preview PDF.
References
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.
DeNicola, R. and M. Hennessy. “Testing Equivalences for Processes.” Theoretical Computer Science, 24, 1984, pp. 83–113.
Guessarian, I., “Algebraic Semantics”, Springer-Verlag Lecture Notes in Computer Science, vol.99, 1981.
Hennessy, M. and Plotkin, G., “A Term Model for CCS”, Springer-Verlag Lecture Notes in Computer Science, vol.88, 1980.
Hennessy, M. “Acceptance Trees.” Journal of the ACM, v. 32, n. 4, October 1985, pp. 896–928.
Hennessy, M. Algebraic Theory of Processes. MIT Press, Cambridge, 1988.
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.
Hoare, C.A.R. Communicating Sequential Processes. Prentice-Hall International, London, 1985.
Hoare, C.A.R. and Roscoe, A.W., “The Laws of Occam” PRG Monograph, Oxford University, 1986.
Inmos Ltd., The Occam Programming Manual, Prentice-Hall, London, 1984.
Milne, R., “Concurrency Models and Axioms”, RAISE/STC/REM/6/V2, STC Technology Ltd., 1988.
Milner, R. A Calculus of Communicating Systems, Lecture Notes in Computer Science 92. Springer-Verlag, Berlin, 1980.
Milner, R., Calculus for Communication and Concurrency, Prentice-Hall, London 1989.
Plotkin, G., “Lecture Notes in Domain Theory”, University of Edinburgh, 1981.
Roscoe, A.W., “Denotational Semantics for Occam”, PRG Monograph, Oxford University, 1988.
Schmidt, D., Denotational Semantics, Allen and Bacon, 1986.
Smyth, M. and Plotkin, G., ”The Category-Theoretic Solution of Recursive Domain Equations”, SIAM Journal on Computing, vol.11, No.4, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennessy, M., Ingólfsdóttir, A. (1990). A theory of communicating processes with value-passing. In: Paterson, M.S. (eds) Automata, Languages and Programming. ICALP 1990. Lecture Notes in Computer Science, vol 443. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032033
Download citation
DOI: https://doi.org/10.1007/BFb0032033
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52826-5
Online ISBN: 978-3-540-47159-2
eBook Packages: Springer Book Archive