Fairness for Infinitary Control

DOI10.1007/978-3-319-23506-6_5zbMath1444.68018OpenAlexW2295956155MaRDI QIDQ3449624

Andreas Podelski, Jochen Hoenicke

Publication date: 4 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23506-6_5

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (1)

Fifty years of Hoare's logic

Cites Work

• Unnamed Item
• A structural approach to operational semantics
• Fairness for Dynamic Control
• Guarded commands, nondeterminacy and formal derivation of programs
• Explicit Fair Scheduling for Dynamic Control

This page was built for publication: Fairness for Infinitary Control