Preview
Unable to display preview. Download preview PDF.
References
Costa, G. and Stirling, C. (1983). A Fair Calculus of Communicating Systems. Vol. 154, Lecture Notes in Computer Science, Springer-Verlag, pp. 97–108.
Hennessy, M. and Milner R. (1983). Algebraice Laws for Nondeterminism and Concurrency. Technical Report CSR-133-83, Computer Science Dept, University of Edinburgh.
Hennessy, M. and Stirling, C. (1983). The Power of the Future Perfect in Program Logics. Technical Report CSR-156-83, Computer Science Dept, University of Edinburgh.
Hoare, C.A.R., Brookes, S.D. and Roscoe, A.D. (1981). A Theory of Communicating Sequential Processes, Technical Monograph PRG-16, Computing Laboratory, University of Oxford.
Milner, R. (1980). A Calculus of Communicating Systems. Vol. 92, Lecture Notes in Computer Science, Springer-Verlag.
Milner, R. (1982a). A Complete Inference System for a Class of Regular Behaviours. Technical Report CSR-111-82, Computer Science Dept, University of Edinburgh. (To appear in Journal of Computer and Systems Sciences.)
Milner, R. (1982b). A Finite Delay Operator in Synchronous CCS. Technical Report CSR-116-82, Computer Science Dept, University of Edinburgh.
Milner, R. (1983). Calculi for Synchrony and Asynchrony. J. Theoretical Computer Science, Vol. 25, pp. 267–310.
de Nicola, R. and Hennessy, M. (1982). Testing Equivalences for Processes. Technical Report CSR-123-82, Computer Science Dept, University of Edinburgh.
Park, D. (1981). Concurrency and Automata on Infinite Sequences. In Vol. 104, Lecture Notes in Computer Science, Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Milner, R. (1985). Lectures on a calculus for communicating systems. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds) Seminar on Concurrency. CONCURRENCY 1984. Lecture Notes in Computer Science, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15670-4_10
Download citation
DOI: https://doi.org/10.1007/3-540-15670-4_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15670-3
Online ISBN: 978-3-540-39593-5
eBook Packages: Springer Book Archive