Roadmap of Infinite Results

Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. 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:

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

More info