A general mechanism for avoiding starvation with distributed control

DOI10.1016/0020-0190(78)90082-0zbMath0383.68030OpenAlexW2085489828MaRDI QIDQ1248367

R. E. Devillers, Peter E. Lauer

Publication date: 1978

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(78)90082-0

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Formal derivation of strongly correct concurrent programs, An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives

Cites Work

• Unnamed Item