Publication details
Roadmap of Infinite Results
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Article in Periodical |
| Magazine / Source | Bulletin of the European Association for Theoretical Computer Science |
| MU Faculty or unit | |
| 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: |