Title :
Interacting processes: a language for coordinated distributed programming
Author :
Francez, Nissim ; Forman, Ira R.
Author_Institution :
Microelectron. & Comput. Technol. Corp., Austin, TX, USA
Abstract :
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
Keywords :
distributed processing; programming; communication; coordinated distributed programming; interacting processes; language; multiparty interactions; superimposition operator; synchronization; Books; Computer languages; Computer science; Distributed computing; Encapsulation; Microelectronics; Scattering;
Conference_Titel :
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-2078-1
DOI :
10.1109/JCIT.1990.128281
