Reference:

J. Esparza. More infinite results. In Proc. of INFINITY'96, Research Report MIP-9614, University of Passau, 1996.

Abstract:

Recently there has been a spurt of activity in concurrency theory centered on the analysis of infinite-state systems. The following two problems have been intensely investigated: (1) given two infinite-state systems, are they equal with respect to a certain equivalence notion?, and (2) given an infinite-state system and a property expressed in a certain temporal logic, does the system satisfy the property? In his CONCUR '96 paper, Moller surveys some of the key results on the decidability and complexity of (1). The purpose of this paper for CONCUR's satellite INFINITY Workshop is to do the same with (2).

Suggested BibTeX entry:

@inproceedings{Esp96,
    address = {University of Passau},
    author = {J. Esparza},
    booktitle = {Proc. of INFINITY'96},
    series = {Research Report MIP-9614},
    title = {More Infinite Results},
    year = {1996}
}