Roadmap of Infinite Results

Investor logo

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:

You are running an old browser version. We recommend updating your browser to its latest version.