Preview
Unable to display preview. Download preview PDF.
6. References
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).
Brookes, S.D., A Model for Communicating Sequential Processes, Ph.D thesis, Oxford University (submitted 1983).
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).
Guessarian, I., Algebraic Semantics, Springer-Verlag Lecture Notes in Computer Science Vol. 99 (1981).
Hoare, C.A.R., Communicating Sequential Processes, Communications of the ACM (August 1978).
Hoare, C.A.R., A Model for Communicating Sequential Processes, Technical Report PRG-22, Oxford University Computing Laboratory, Programming Research Group (1981).
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)
Hennessy, M.C.B., and de Nicola, R., Testing Equivalences for Processes, to appear in Proceedings of ICALP 1983.
Levin, G.M., and Gries, D., A Proof Technique for Communicating Sequential Processes, Acta Informatica 15 (1981).
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.
Milner, R., A Calculus of Communicating Systems, Springer-Verlag Lecture Notes in Computer Science Vol. 92 (1980).
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).
Roscoe, A.W., A Mathematical Theory of Communicating Processes, Ph. D. thesis, Oxford University (1982).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brookes, S.D. (1984). A semantics and proof system for communicating processes. In: Clarke, E., Kozen, D. (eds) Logics of Programs. Logic of Programs 1983. Lecture Notes in Computer Science, vol 164. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12896-4_356
Download citation
DOI: https://doi.org/10.1007/3-540-12896-4_356
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12896-0
Online ISBN: 978-3-540-38775-6
eBook Packages: Springer Book Archive