Interacting processes: a language for coordinated distributed programming
Nissim Francez, Ira R. Forman · 2002
An overview is provided of interacting processes (IP), a language for the design and implementation of distributed reactive systems based on multiparty interactions. A multiparty interaction is a primitive for both synchronization and communication among any number of processes. IP contains an abstraction construct called a team, which encapsulates groups of multiparty interactions. In addition, IP includes a superimposition operator allowing separation of concerns in design.>