Fairness and hyperfairness in multi-party interactions

Paul C. Attie; Nissim Francez; Orna Grumberg

doi:10.1145/96709.96739

Fairness and hyperfairness in multi-party interactions

Paul C. Attie, Nissim Francez, Orna Grumberg

Research output: Contribution to journal › Conference article › peer-review

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 language	English (US)
Pages (from-to)	292-305
Number of pages	14
Journal	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
DOIs	https://doi.org/10.1145/96709.96739
State	Published - 1990
Externally published	Yes
Event	Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages - San Francisco, CA, USA Duration: Jan 17 1990 → Jan 19 1990

ASJC Scopus subject areas

Software

Access to Document

10.1145/96709.96739

Cite this

@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",

doi = "10.1145/96709.96739",

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)",

note = "Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages ; Conference date: 17-01-1990 Through 19-01-1990",

}

TY - JOUR

T1 - Fairness and hyperfairness in multi-party interactions

AU - Attie, Paul C.

AU - Francez, Nissim

AU - Grumberg, Orna

PY - 1990

Y1 - 1990

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

U2 - 10.1145/96709.96739

DO - 10.1145/96709.96739

M3 - Conference article

AN - SCOPUS:0025211099

SN - 0730-8566

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

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

Y2 - 17 January 1990 through 19 January 1990

ER -

Fairness and hyperfairness in multi-party interactions

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this