Fairness and hyperfairness in multi-party interactions (Q1261113): Difference between revisions

A new notion of fairness, called hyperfairness, is presented for multi- party interactions. It eliminates a starvation which might occur because of independent actions ordering and it is fully adequate for languages with this type of interactions. The paper defines this new notion, analyses and proves its some properties (feasibility, equivalence robustness and liveness enhancement), and gives some examples to demonstrate usefulness of hyperfairness.