Reasoning about Infinite Computations

The work

AuthorsMoshe Y. Vardi; Pierre Wolper
Editors
Typearticle
Year1994
Citekeyvardi1994reasoning

Where it appeared

Published inInformation and Computation
PublisherElsevier BV
Volume115
Issue1
Pages1--37

Identifiers

DOI10.1006/inco.1994.1092

Access

Landing pagehttps://doi.org/10.1006/inco.1994.1092
Free full texthttps://orbi.uliege.be/bitstream/2268/116648/1/VW94-IC.pdf

Settled

Abstractcarried over from `abstract_absent` at the 1.0 migration

Related

Distinct fromvardi1986automatatheoretic

A copy is held

pdf, 311.1 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereimport via drheap-program-correctness
Added2026-08-25 00:00 UTC
Approved bya person 2026-09-04 18:19 UTC

Filed under

one-survey-section state-space-not-proof vardi

Cite it as

@article{vardi1994reasoning,
  title        = {Reasoning about Infinite Computations},
  author       = {Moshe Y. Vardi and Pierre Wolper},
  year         = {1994},
  journal      = {Information and Computation},
  publisher    = {Elsevier BV},
  volume       = {115},
  number       = {1},
  pages        = {1--37},
  doi          = {10.1006/inco.1994.1092},
}

This record lives at https://refs.drheap.org/vardi1994reasoning/ and will keep doing so.