Distributed mutual exclusion on a ring of processes
From MaRDI portal
Publication:1060005
DOI10.1016/0167-6423(85)90015-2zbMath0567.68019OpenAlexW2054621224MaRDI QIDQ1060005
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
CSPconcurrent computationcommunication networkcorrectness proofsdistributed mutual exclusioncyclic processes
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