Fairness and hyperfairness in multi-party interactions

Authors:
Paul C. Attie;Nissim Francez;Orna Grumberg
Affiliations:
Department of Computer Sciences, The University of Texas at Austin;Microelectronics and Computer Technology Corporation, Austin, Texas and Computer Science Department, Technion, Haifa, Israel;Computer Science Department, Technion, Haifa, Israel
Venue:
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
1989

Citing 15
Cited 2

Communicating sequential processes

Communicating sequential processes
Fairness

Fairness
Script: a communication abstraction mechanism and its verification

Science of Computer Programming
The multiway rendezvous

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Methodology for Developing Distributed Programs

IEEE Transactions on Software Engineering
Two normal form theorems for CSP programs

Information Processing Letters
Appraising fairness in distributed languages

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fairness in parallel programs: the transformational approach

ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed cooperation with action systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation

Parallel program design: a foundation
Cooperating proofs for distributed programs with multiparty interactions

Information Processing Letters
Communicating sequential processes

Communications of the ACM
A Discipline of Programming

A Discipline of Programming
Decentralization of process nets with centralized control

PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Fair termination of communicating processes

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing

Coordinating first-order multiparty interactions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Team automata for spatial access control

ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, 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 in [AFK88]. The paper defines the notion, proves its properties, and presents examples of its usefulness.