Roadmap of Infinite Results

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	SRBA Jiří
Year of publication	2004
Type	Article in Periodical
Magazine / Source	Current Trends in Theoretical Computer Science, The Challenge of the New Century
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	infinite-state systems; bisimilarity; complexity; decidability
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:	Verification of infinite-state systems Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing