FAIRNESS AND HYPERFAIRNESS IN MULTIPARTY INTERACTIONS

In this paper, a new fairness notion is proposed for languages with mu lti-party interactions as the sole interprocess synchronization and co mmunication primitive. The main advantage of this fairness notion is t he elimination of starvation occurring solely due to race conditions ( i.e., ordering of independent actions). Also, this is the first fairne ss notion for such languages which is fully adequate with respect to t he criteria presented in [2]. The paper defines the notion, proves its properties, and presents examples of its usefulness.