Some impossibility results in interprocess synchronization

DOI10.1007/BF02242710MaRDI QIDQ1261111zbMATH OpenFDO

Authors Yih-Kuen Tsay, Rajive L. Bagrodia

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)

Recommendations

• The mutual exclusion problem
• On fairness notions in distributed systems. I: A characterization of implementability
• A distributed synchronization scheme for fair multi-process handshakes
• scientific article; zbMATH DE number 1330452
• The mutual exclusion problem. I: A theory of interprocess communication

Cites work

• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 3997156 (Why is no real title available?)
• An Effective Implementation for the Generalized Input-Output Construct of CSP
• Appraising fairness in languages for distributed programming
• Communicating sequential processes
• Distributed cooperation with action systems
• How processes learn
• Impossibility of distributed consensus with one faulty process
• Script: A communication abstraction mechanism and its verification
• The multiway rendezvous

Cited in

(3)

• On fairness notions in distributed systems. I: A characterization of implementability
• A technique for decomposing algorithms which use a single shared variable
• Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Some impossibility results in interprocess synchronization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1261111)