Roadmap of Infinite Results

SRBA, Jiří. Roadmap of Infinite Results. Current Trends in Theoretical Computer Science, The Challenge of the New Century. New York, USA: World Scientific Publishing, 2004, roč. 2, č. 1, s. 337-350.

Základní údaje

Originální název

Roadmap of Infinite Results

Název česky

Rozcesti nekonecnych vysledku

Autoři

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

Vydání

Current Trends in Theoretical Computer Science, The Challenge of the New Century, New York, USA, World Scientific Publishing, 2004

---

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

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

Kód RIV

RIV/00216224:14330/04:00010683

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

infinite-state systems; bisimilarity; complexity; decidability

Štítky

bisimilarity, complexity, decidability, infinite-state systems

---

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.

Česky

Jedna se o prehledovy clanek vysledku v testovani ekvivalance pro nekonecne stavove systemy z hierarchie prepisovacich systemu. Clanek je prubezne aktualizovan a je ke stazeni na autorove strance http://www.brics.dk/~srba/roadmap.

---

Návaznosti

GA201/03/1161, projekt VaV	Název: Verifikace nekonečně stavových systémů Investor: Grantová agentura ČR, Verifikace nekonečně stavových systémů
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ů