Implementing Multiparty Interactions on a Network Computer

Description

Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need to describe the behaviour of three or more processes that need to collaborate simultaneously in order to solve a problem. Multiparty interactions are the key to describe these problems, and there are several languages that use them for the description of reactive systems. In this paper, we show and compare two different fair implementations of this mechanism and also outline the research we are carrying out in an effort to improve them.

Additional details