Roadmap of Infinite Results

Abstract. 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.

• Type: Journal
• Year: 2002
• Where: EATCS
• Authors: Jirí Srba
• Keywords: Comprehensive Summary, EATCS 2002, Infinite-state Systems, Relevant Papers