Distributed mutual exclusion on a ring of processes

DOI10.1016/0167-6423(85)90015-2MaRDI QIDQ1060005zbMATH OpenOpenAlexFDO

Authors Alain J. Martin

Publication date 1985

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83

zbMATH Keywords

CSPcommunication networkcorrectness proofscyclic processesdistributed mutual exclusionconcurrent computation

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Symmetric and economical solutions to the mutual exclusion problem in a distributed system
• The mutual exclusion problem
• The mutual exclusion problem: part II---Statement and solutions
• The mutual exclusion problem
• The mutual exclusion problem. I: A theory of interprocess communication

Cited in

(4)

• Adaptive distributed mutual exclusion by dynamic topology switching
• Fair Petri nets and structural induction for rings of processes
• On the complexity of deadlock-free programs on a ring of processors
• Automatic verification of parameterized networks of processes

This page was built for publication: Distributed mutual exclusion on a ring of processes

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