Some impossibility results in interprocess synchronization

DOI10.1007/BF02242710zbMath0776.68042MaRDI QIDQ1261111

Rajive L. Bagrodia, Yih-Kuen Tsay

Publication date: 16 September 1993

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

zbMATH Keywords

fairnesssynchronous communicationmultiway interactions

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability ⋮ On fairness notions in distributed systems. I: A characterization of implementability

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Script: A communication abstraction mechanism and its verification
• How processes learn
• Appraising fairness in languages for distributed programming
• An Effective Implementation for the Generalized Input-Output Construct of CSP
• The multiway rendezvous
• Impossibility of distributed consensus with one faulty process
• Distributed cooperation with action systems
• Communicating sequential processes