Defining Liveness by Bowen Alpern and others 2026-10-13
View more
Publisher: Elsevier Science Publishers B.V. (North-Holland).
Published in Information Processing Letters.
Cited passages: Defining Liveness, sections 2–3, printed pp. 181–182: mutual exclusion, finite witnesses to safety violations, and eventual service; Section 2, printed pp. 181–182: finite irremediable prefixes; Section 3, printed p. 182: every finite prefix can still be extended to satisfy a liveness property.
Read the full article