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.

Incoming links (3)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (NaN)

There are currently no matching articles.
See all articles in the same topic Create my own version