Abstract
Current mathematical tools for understanding processes predominantly support process modeling. In particular, they faithully represent all the things that can go wrong (deadlock, livelock, etc.). However, for the development of good programming abstractions in concurrent (and other) setting it is important to focus on formal systems in which things do not go wrong. So what are the formal models of processes where nothing goes wrong?
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. In: Studies in Logic and the Foundations of Mathematics, Revised edn., vol. 103. North-Holland, Amsterdam (1984)
Bellin, G., Scott, P.J.: On the pi-calculus and linear logic. Theor. Comput. Sci. 135(1), 11–65 (1994)
Cockett, J.R.B., Pastro, C.: A language for multiplicative-additive linear logic. In: Proc. of 10th Conf. on Category Theory and Computer Science, CTCS 2004. Electron. Notes in Theor. Comput. Sci., vol. 122, pp. 23–65. Elsevier, Amsterdam (2005)
Lambek, J.: Deductive systems and categories II. In: Proc. of Conf. on Category Theory, Homology Theory and Their Applications. vol. 87 of Lect. Notes in Math., vol. 1, pp. 76–122. Springer, Heidelberg (1969)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes I. Inform. and Comput. 100(1), 1–40 (1992)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes II. Inform. and Comput. 100(1), 41–77 (1992)
van Glabbeek, R.J., Hughes, D.J.D.: Proof nets for unit-free multiplicative-additive linear logic. ACM Trans. on Comput. Logic 6(4), 784–842 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cockett, R. (2006). What Is a Good Process Semantics?. In: Uustalu, T. (eds) Mathematics of Program Construction. MPC 2006. Lecture Notes in Computer Science, vol 4014. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11783596_1
Download citation
DOI: https://doi.org/10.1007/11783596_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35631-8
Online ISBN: 978-3-540-35632-5
eBook Packages: Computer ScienceComputer Science (R0)