Distributed mutual exclusion on a ring of processes

DOI10.1016/0167-6423(85)90015-2zbMath0567.68019OpenAlexW2054621224MaRDI QIDQ1060005

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

CSPconcurrent computationcommunication networkcorrectness proofsdistributed mutual exclusioncyclic processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (max. 100)

Fair Petri nets and structural induction for rings of processes ⋮ ADAPTIVE DISTRIBUTED MUTUAL EXCLUSION BY DYNAMIC TOPOLOGY SWITCHING ⋮ Automatic verification of parameterized networks of processes

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