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 BPMI.org, such as Business Process Modeling Language (BPML), and in Microsoft's XLANG, a precursor of BPEL4WS.