Fairness and hyperfairness in multi-party interactions

Paul C. Attie, Nissim Francez, Orna Grumberg

Research output: Contribution to journalConference article

4 Scopus citations

Abstract

A new fairness notion is proposed for languages with multi-party interactions as the sole interprocess synchronization and communication primitive. The main advantage of this fairness notion is the elimination of starvation occurring solely due to race conditions (i.e., ordering of independent actions). Also, this is the first fairness notion for such languages which is fully-adequate with respect to the criteria presented by K.R. Apt et al. The paper defines the notion, proves its properties, and presents examples of its usefulness.

Original languageEnglish (US)
Pages (from-to)292-305
Number of pages14
JournalConference Record of the Annual ACM Symposium on Principles of Programming Languages
StatePublished - Jan 1 1990
Externally publishedYes
EventConference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages - San Francisco, CA, USA
Duration: Jan 17 1990Jan 19 1990

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Fairness and hyperfairness in multi-party interactions'. Together they form a unique fingerprint.

  • Cite this