Multiparty interactions for interprocess communication and synchronization
The authors consider the essential properties of a multiparty interaction construct which
serves as a primitive for interprocess communication and synchronization in distributed
programs. It is claimed that more general constructs, which violate the suggested properties,
are appropriate for abstraction but should not be seen as a communication primitive, and
that both facilities are needed. Several acceptability criteria are posed for multiparty
interactions, and various possibilities for constructs satisfying these criteria are presented …
serves as a primitive for interprocess communication and synchronization in distributed
programs. It is claimed that more general constructs, which violate the suggested properties,
are appropriate for abstraction but should not be seen as a communication primitive, and
that both facilities are needed. Several acceptability criteria are posed for multiparty
interactions, and various possibilities for constructs satisfying these criteria are presented …
The authors consider the essential properties of a multiparty interaction construct which serves as a primitive for interprocess communication and synchronization in distributed programs. It is claimed that more general constructs, which violate the suggested properties, are appropriate for abstraction but should not be seen as a communication primitive, and that both facilities are needed. Several acceptability criteria are posed for multiparty interactions, and various possibilities for constructs satisfying these criteria are presented. These include introducing a novel kind of nondeterminism within the assignments of an interaction, weakening the synchronization among the participants in an interaction, and varying the number of participants in order to provide a high-level treatment of fault tolerance.< >
ieeexplore.ieee.org