Publication:3347267
From MaRDI portal
zbMath0558.68015MaRDI QIDQ3347267
Krzysztof R. Apt, Ernst-Ruediger Olderog
Publication date: 1984
liveness; transformations; semantics; impartiality; weak and strong fairness; Parallel programs with shared variables; syntax-directed correctness proofs
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
A taxonomy of fairness and temporal logic problems for Petri nets, Fairness and the axioms of control predicates, Infinite trees, markings, and well-foundedness, Strong fairness and ultra metrics