= Defining Liveness by Bowen Alpern and others
{c}
{tag=Work by Bowen Alpern}
{tag=Work by Fred B. Schneider}
{title2=1985}
By <Bowen Alpern>, <Fred B. Schneider>.
Publisher: Elsevier Science Publishers B.V. (North-Holland).
Published in Information Processing Letters.
Online text: https://www.cs.cornell.edu/fbs/publications/DefLiveness.pdf
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.
Back to article page
