Fairness for Dynamic Control

DOI10.1007/978-3-642-12002-2_20zbMath1284.68400OpenAlexW132887097MaRDI QIDQ3557081

Andreas Podelski, Jochen Hoenicke, Ernst-Ruediger 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

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

Related Items (3)

Fairness for Infinitary Control ⋮ Fair Termination for Parameterized Probabilistic Concurrent Systems ⋮ Fifty years of Hoare's logic

This page was built for publication: Fairness for Dynamic Control