Some impossibility results in interprocess synchronization
From MaRDI portal
Publication:1261111
DOI10.1007/BF02242710zbMath0776.68042MaRDI QIDQ1261111
Yih-Kuen Tsay, Rajive L. Bagrodia
Publication date: 16 September 1993
Published in: Distributed Computing (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
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
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