Informační systém MU
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.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Roadmap of Infinite Results
Autoři SRBA, Jiří (203 Česko, garant).
Vydání Bulletin of the European Association for Theoretical Computer Science, Bratislava, EATCS, 2002, 78.
Další údaje
Originální 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
Změnil Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 11. 11. 2002 10:50.
Anotace
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 VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNá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, Výzkumné záměry
Zobrazeno: 5. 8. 2020 16:34