A Model and Proof Technique for Message-Based Systems
From MaRDI portal
Publication:3885175
DOI10.1137/0209060zbMath0442.68015MaRDI QIDQ3885175
Publication date: 1980
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0209060
distributed computing; communication processes; message-based systems; critical section problem; proof techniques; finite-state model; PLITS
68N25: Theory of operating systems