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.


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:


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


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 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.

[Validate this page.]