I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - More Infinite Results


O. Burkart and J. Esparza. More infinite results. Electronic Notes in Theoretical Computer Science, 6, 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 paper ``Infinite Results'' iteMol96 , Moller surveys some of the key results on the decidability and complexity of problem (1). This paper is a survey on the results about problem (2).

Suggested BibTeX entry:

    author = {O. Burkart and J. Esparza},
    journal = {Electronic Notes in Theoretical Computer Science},
    title = {More Infinite Results},
    volume = {6},
    year = {1996}

GZipped PostScript (70 kB)
PDF (296 kB)