Roadmap of Infinite Results

• Authors: SRBA Jiří
• Year of publication: 2002
• Type: Article in Periodical
• Magazine / Source: Bulletin of the European Association for Theoretical Computer Science
• MU Faculty or unit: Faculty of Informatics
• Field: Information theory
• Keywords: infinite systems; bisimilarity; regularity; survey
• Description: 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.

Related projects

• Infinite state concurrent systems - models and verification
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing