next up previous contents
Next: The tile model Up: Foundational models and abstract Previous: Sequentiality

The Theory of Action calculi

In Confer-1, Action structures have been proposed as an algebra for both the syntax and the semantics of interactive computation. Action calculi are action structures of a concrete nature, with added structure, and which represent a wide variety of calculi of computation - functional, sequential, and concurrent. Each action in an action calculus is represented as an assembly of molecules; the syntactic binding of names is the means by which molecules are bound together. One action calculus differs from another only in its generators, called controls. The work on action calculi has been pursued this year in Cambridge in the following directions:

[[BGHP97]] Andrew Barber, Philippa Gardner, Masahito Hasegawa, and Gordon Plotkin.
From action calculi to linear logic,.
In Proceedings of CSL 97, Aarhus, 1997.

[[Gar98]] Philippa Gardner.
Closed action calculi.
Theoretical Computer Science, 1998.
To appear.

[[GH97]] Philippa Gardner and Masahito Hasegawa.
Types and models in higher-order action calculi.
In Proceedings of TACS 97, Sendai, Japan, 1997.

[[Jen98]] Ole Høgh Jensen.
PhD thesis, University of Cambridge.
Forthcoming, 1998.


next up previous contents
Next: The tile model Up: Foundational models and abstract Previous: Sequentiality

1/10/1998