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

• Original language: English
• Type of outcome: Article in a journal
• Field of Study: 10000 1. Natural Sciences
• Country of publisher: Slovakia
• Confidentiality degree: is not subject to a state or trade secret
• 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

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