Some impossibility results in interprocess synchronization
From MaRDI portal
Publication:1261111
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)
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
Cites Work
- 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
- Unnamed Item
- Unnamed Item