Action calculi, or syntactic action structures
Action structures have previously been proposed as an algebra for both the syntax and the semantics of interactive computation. Here a class of concrete action structures called action calculi is identified, which can serve as a non-linear syntax for a wide variety of models of interactive behaviour. They generalise a previously defined action structure PIC for the π-calculus. One action calculus differs from another only in its generators, called controls.
Several extensions to PIC are given as action calculi, giving essentially the same power as the π-calculus. An action calculus is also outlined for PT nets — a class of Petti nets — parametrized upon their places and transitions.
Finally, action calculi are characterized as the free algebras in a sub-variety of action structures, namely those which satisfy certain additional axioms.
KeywordsAction Structure Computer Science Department Control Rule Control Role Communicate Sequential Process
Unable to display preview. Download preview PDF.
- Berry, G. and Boudol, G., The chemical abstract machine, Journal of Theoretical Computer Science, Vol 96, pp217–248,1992.Google Scholar
- Banâtre, J.P. and Métayer, D., The GAMMA model and its discipline of programming, Science of Computer Programming, Vol 15, pp55–77, 1990.Google Scholar
- Hoare, C.A.R., Communicating Sequential Processes, Communications of ACM, Vol 21, pp666–677, 1978.Google Scholar
- Honda, K. and Tokoro, M., An object calculus for asynchronous communication, Proc. European Conference on object-oriented programming, Lecture Notes in Computer Science, Vol 512, Springer, pp133–147, 1991.Google Scholar
- Meseguer, J. and Montanari, U., Petri nets are monoids, Journal of Information and Computation, Vol 88, pp105–155, 1990.Google Scholar
- Milner, R., Functions as processes, Math. Struct. in Comp. Science, Vol 2, pp119–141, 1992.Google Scholar
- Milner, R., Action structures, Research Report LFCS-92-249, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1992.Google Scholar
- Milner, R., The polyadic π-calculus: a tutorial. Research Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1991. (To appear in the Proceedings of the International Summer School on Logic and Algebra of Specification, Marktoberdorf, August 1991.)Google Scholar
- Milner, R., Action structures for the π-calculus, Research Report ECS-LFCS-93-264, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1992.Google Scholar
- Milner, R., Parrow, J. and Walker D., A calculus of mobile processes, Parts I and II, Journal of Information and Computation, Vol 100, pp1–40 and pp41–77, 1992.Google Scholar
- Petri, C.A., Fundamentals of a theory of asynchronous information flow, Proc. IFIP Congress '62, North Holland, pp386–390, 1962.Google Scholar