Queille, J. P.; Sifakis, J. Fairness and related properties in transition systems - a temporal logic to deal with fairness. (English) Zbl 0489.68024 Acta Inf. 19, 195-220 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 26 Documents MSC: 68Q65 Abstract data types; algebraic specification 03B45 Modal logic (including the logic of norms) 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:unfairness; classes of events; fair reachability; branching time logic; temporal operators; modalities; absence of livelock; absence of starvation; finite delay property Software:CESAR PDF BibTeX XML Cite \textit{J. P. Queille} and \textit{J. Sifakis}, Acta Inf. 19, 195--220 (1983; Zbl 0489.68024) Full Text: DOI