Roadmap of Infinite Results

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

Základní údaje

Originální název

Roadmap of Infinite Results

Autoři

SRBA, Jiří (203 Česká republika, garant)

Vydání

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

---

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10000 1. Natural Sciences

Stát vydavatele

Slovensko

Utajení

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

Kód RIV

RIV/00216224:14330/02:00006589

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

infinite systems; bisimilarity; regularity; survey

Štítky

bisimilarity, infinite systems, regularity, survey

---

Anotace

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.

---

Návaznosti

GA201/00/0400, projekt VaV	Název: Nekonečně stavové souběžné systémy - modely a verifikace Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
MSM 143300001, záměr	Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů