What Is a Good Process Semantics?
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?
KeywordsCategory Theory Deductive System Linear Logic Proof Theory Mobile Process
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 3.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)Google Scholar