Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - More Infinite Results


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


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:

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

GZipped PostScript (58 kB)
PDF (236 kB)