Conflict propagation

A study is made of the requirements for abstraction constructs encapsulating multiparty interactions. Several alternatives are explored for the meaning of an abstraction invocation when used in the position of a guard. It is concluded that in order to support a stepwise-refinement design methodology, conflicts must be propagated across invocations to achieve a proper coordination at the abstraction level. The discussion presented is in terms of a language, Interacting Processes (IP), for high-level expression of distributed programs.<
>