An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives

DOI10.1016/0304-3975(83)90127-5zbMath0511.68013OpenAlexW1994046115MaRDI QIDQ1838827

Horst F. Wedde

Publication date: 1983

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90127-5

zbMATH Keywords

distributed processesloosely coupled systemsdining philosophers' probleminteraction systemslocal excitement relationsstarvation-freeness

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

TTL : a formalism to describe local and global properties of distributed systems, A self-stabilizing algorithm for strong fairness, Fairness and conspiracies

Cites Work

• Modeling a solution for a control problem in distributed systems by restrictions
• A general mechanism for avoiding starvation with distributed control
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item