# Action Calculi

Action calculi provide
a framework for exploring many models of interactive behaviour, such
as the pi calculus and its extensions, lambda calculi, calculi for
security and object-oriented calculi.
## Papers

Here are pointers to a few papers. The list is
not comprehensive; for more details see the individual web pages
listed below.

A general introduction to action calculi can be found in:
Models of action calculi are given in:
Connections between action calculi, type
theory and category theory can be found in:
Some preliminary work on deriving labelled transition relations and
bisimulation congruences can be found here:
Bisimulation congruences based on *Relative Pushouts* are
introduced here:
## People

A partial list of people who have worked with action calculi:
## Project

The study of action calculi at Cambridge formed part of a larger project,
funded by the EPSRC from 1998 to 2001 (*Calculi for Interactive
Systems: Theory and Experiment*, GR/L62290), consisting of
two interlinked strands:

- the development of action calculi, in particular focussing on the
dynamics;
- the design and study of foundational calculi based
upon the pi calculus, and accompanying prototype programming
languages, in which to describe and analyse migratory distributed
systems. Some of this work can be found on the Nomadic
Pict page.

The final report for this grant can be found here.
Research from 1/1995 to 5/1998 was supported by the EPSRC grant
*Action Structures and the Pi-Calculus* (GR/K38403); here is a summary
of the
final report.

Any comments and additions are welcome.
Peter.Sewell@cl.cam.ac.uk
[Validate this page.]