Publication details
Roadmap of Infinite Results
| Authors | |
|---|---|
| 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 | |
| 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: |