ActionCalculi

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

See http://www.cl.cam.ac.uk/users/pes20/actioncalculi.html