Equivalence-checking on infinite-state systems: Techniques and results

摘要

The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).