Fairness and hyperfairness in multi-party interactions

Paul C. Attie, Nissim Francez, Orna Grumberg

Research output: Contribution to journalConference article

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

Fingerprint

Hazards and race conditions
Synchronization
Communication

ASJC Scopus subject areas

  • Software

Cite this

Fairness and hyperfairness in multi-party interactions. / Attie, Paul C.; Francez, Nissim; Grumberg, Orna.

In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 01.01.1990, p. 292-305.

Research output: Contribution to journalConference article

@article{1ecbac78b2584cb19694ae8f96ae5565,
title = "Fairness and hyperfairness in multi-party interactions",
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.",
author = "Attie, {Paul C.} and Nissim Francez and Orna Grumberg",
year = "1990",
month = "1",
day = "1",
language = "English (US)",
pages = "292--305",
journal = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
issn = "0730-8566",
publisher = "Association for Computing Machinery (ACM)",

}

TY - JOUR

T1 - Fairness and hyperfairness in multi-party interactions

AU - Attie, Paul C.

AU - Francez, Nissim

AU - Grumberg, Orna

PY - 1990/1/1

Y1 - 1990/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0025211099&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025211099&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0025211099

SP - 292

EP - 305

JO - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

JF - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SN - 0730-8566

ER -