Roadmap of Infinite Results

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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
Citation
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