Script: A communication abstraction mechanism and its verification
From MaRDI portal
Publication:1064053
DOI10.1016/0167-6423(86)90018-3zbMath0575.68026OpenAlexW2174153543MaRDI QIDQ1064053
Nissim Francez, Gadi Taubenfeld, Brent T. Hailpern
Publication date: 1986
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(86)90018-3
concurrent programsCSPpartial correctnessprocessesdeadlockrolesscriptabstraction mechanismADApatterns of communicationshared-variable language
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (6)
A process-calculus-based abstraction for coordinating multi-agent groups ⋮ Some impossibility results in interprocess synchronization ⋮ Fairness and hyperfairness in multi-party interactions ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions ⋮ Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability ⋮ On fairness notions in distributed systems. I: A characterization of implementability
Uses Software
This page was built for publication: Script: A communication abstraction mechanism and its verification
