Fairness and conspiracies

DOI10.1016/0020-0190(84)90114-5zbMath0558.68052OpenAlexW2006737813MaRDI QIDQ802310

Eike Best

Publication date: 1984

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

Full work available at URL: https://doi.org/10.1016/0020-0190(84)90114-5

zbMATH Keywords

Petri netsconcurrencystarvationfairness hierarchies

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Marking fairness in Petri nets, Mutex needs fairness, Generating non-conspiratorial executions, An introduction to the regular theory of fairness, Concurrent systems and inevitability, Fairness and control in multi-agent systems, Event fairness and non-interleaving concurrency, \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems, Divergence and fair testing, Strong fairness and ultra metrics, Boundedness, hierarchy of fairness, and communication networks with delay, A taxonomy of fairness and temporal logic problems for Petri nets

Cites Work

• Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
• An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item