DocumentCode
2759585
Title
Interacting processes: a language for coordinated distributed programming
Author
Francez, Nissim ; Forman, Ira R.
Author_Institution
Microelectron. & Comput. Technol. Corp., Austin, TX, USA
fYear
1990
fDate
22-25 Oct 1990
Firstpage
146
Lastpage
161
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/JCIT.1990.128281
Filename
128281
Link To Document