This is a preview of subscription content, log in via an institution to check access.
References
Berry, G. and Boudol, G., The chemical abstract machine, Journal of Theoretical Computer Science, Vol 96, pp217–248, 1992.
A. Mifsud, R. Milner and J. Power, Control structures, To appear in proceedings of LICS'95, San Diego, 1995.
R. Milner, Action structures and the π-calculus, in Proof and Computation, ed. H. Schwichtenberg, Series F: Computer and Systems Sciences, NATO Advanced Study Institute, (Proceedings of International Summer School held in Marktoberdorf, Germany, 1993), Springer Verlag 1994, pp219–280.
R. Milner, Action calculi, or concrete action structures, Proc. MFCS Conference, Gdansk, Poland, LNCS, Vol 711, 1993, pp105–121.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milner, R. (1995). Control structures: A model of interaction. In: Pitt, D., Rydeheard, D.E., Johnstone, P. (eds) Category Theory and Computer Science. CTCS 1995. Lecture Notes in Computer Science, vol 953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60164-3_16
Download citation
DOI: https://doi.org/10.1007/3-540-60164-3_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60164-7
Online ISBN: 978-3-540-44661-3
eBook Packages: Springer Book Archive