Fairness and hyperfairness in multi-party interactions

DOI10.1007/BF02242712zbMath0797.68100OpenAlexW2067860865MaRDI QIDQ1261113

Nissim Francez, Orna Grumberg, Paul C. Attie

Publication date: 16 September 1993

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02242712

zbMATH Keywords

fairnesssynchronizationstarvationhyperfairnessmulti-party interactions

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Distributed algorithms (68W15)

Related Items

Generating non-conspiratorial executions, Appraising fairness in languages for distributed programming, Model checking with fairness assumptions using PAT, A distributed synchronization scheme for fair multi-process handshakes, Fairness and hyperfairness, Action systems in incremental and aspect-oriented modeling, On equivalence-completions of fairness assumptions, On fairness notions in distributed systems. I: A characterization of implementability

Uses Software

• UNITY

Cites Work

• Proof rules and transformations dealing with fairness
• Script: A communication abstraction mechanism and its verification
• Two normal form theorems for CSP programs
• Appraising fairness in languages for distributed programming
• The multiway rendezvous
• Distributed cooperation with action systems
• Communicating sequential processes
• A Methodology for Developing Distributed Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item