to homepage
 Weekly emails: how to  


> glossary > pi-calculus


An algebra for modeling systems of autonomous agents, known as mobile systems. A mobile system is a form of communications network in which individual components interact with each other in ways that they are free to select spontaneously. A form of process algebra, the pi-calculus was developed by leading computer scientist Robin Milner to model interactions in concurrent computational systems as diverse as cellular telephone networks, the Internet, and object-oriented software programs. It has been adopted as the basis of business process specifications developed by, such as Business Process Modeling Language (BPML), and in Microsoft's XLANG, a precursor of BPEL4WS.

highlights | A-Z index       


More about "pi-calculus" ...

Useful Web resources:

Pi-Calculus: Automata, State, Actions, and Interactions
A short overview of pi-calculus in the context of B2B interactions

Calculi for Mobile Processes
Academic resources page

A Calculus of Mobile Processes Pt 1
Professor Robin Milner's 1992 paper describing the pi-calculus


The Pi Calculus
by Davide Sangiorgi, David Walker (592 pages, Dec 2001, Cambridge University Press)


Copyright © 2002-2010, Procullux Media Ltd. All Rights Reserved.