This is a preview of subscription content, log in via an institution.
References
Baeten, J.C.M. and Weijland, W.P., Process Algebra, Cambridge University Press 1990.
Engberg, U. and Nielsen, M., A Calculus of Communicating Systems with Label Passing, Report DAIMI PB-208, Computer Science Department, University of Århus, 1986.
Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall, 1985.
Hennessy, M., Algebraic Theory of Processes, MIT Press, 1988.
Milner, R., Communication and Concurrency, Prentice Hall, 1989
Milner, R., Functions as Processes, Proc. ICALP '90, Lecture Notes in Computer Science, Vol. 443, pp167–180, Springer-Verlag, 1990.
Milner, R., Parrow, J. and Walker, D., A Calculus of Mobile Processes, Reports ECS-LFCS-89-85 and-86, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1989. (To appear in Journal of Information and Computation.)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milner, R. (1991). Concurrent processes as objects. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_2
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54834-8
Online ISBN: 978-3-540-46449-5
eBook Packages: Springer Book Archive