Fairness for dynamic control

DOI10.1007/978-3-642-12002-2_20MaRDI QIDQ3557081zbMATH OpenOpenAlexFDO

Authors Jochen Hoenicke, Andreas Podelski, Ernst-Rüdiger Olderog

Publication date 27 April 2010

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12002-2_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Explicit fair scheduling for dynamic control
• Fairness for infinitary control
• scientific article; zbMATH DE number 3990885
• scientific article; zbMATH DE number 139609
• Fairness in Scheduling

Cited in

(6)

• Fairness and control in multi-agent systems
• Fairness in shared invocation servicing
• Fifty years of Hoare's logic
• Fair termination for parameterized probabilistic concurrent systems
• Fairness for infinitary control
• Explicit fair scheduling for dynamic control

This page was built for publication: Fairness for dynamic control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3557081)