Roadmap of Infinite Results

SRBA, Jiří. Roadmap of Infinite Results. Bulletin of the European Association for Theoretical Computer Science. Bratislava: EATCS, 2002, vol. 2002, No 78, p. 163-175. ISSN 78.

Basic information

Original name

Roadmap of Infinite Results

Authors

SRBA, Jiří (203 Czech Republic, guarantor)

Edition

Bulletin of the European Association for Theoretical Computer Science, Bratislava, EATCS, 2002, 78

---

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10000 1. Natural Sciences

Country of publisher

Slovakia

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/02:00006589

Organization unit

Faculty of Informatics

Keywords in English

infinite systems; bisimilarity; regularity; survey

Tags

bisimilarity, infinite systems, regularity, survey

---

Abstract

V originále

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.

---

Links

GA201/00/0400, research and development project	Name: Nekonečně stavové souběžné systémy - modely a verifikace Investor: Czech Science Foundation, Infinite state concurrent systems - models and verification
MSM 143300001, plan (intention)	Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing