1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Aalborg Universitet, Institut for Datalogi
This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/~srba/roadmap.
Bulletin of the Eatcs, 2002, Vol 2002, Issue 78, p. 163-175