A Model and Proof Technique for Message-Based Systems
From MaRDI portal
Publication:3885175
DOI10.1137/0209060zbMath0442.68015OpenAlexW1967962466MaRDI 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 computingcommunication processesmessage-based systemscritical section problemproof techniquesfinite-state modelPLITS
This page was built for publication: A Model and Proof Technique for Message-Based Systems