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.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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 americké
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
Změnil Změnil: Mgr. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:32.
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.
Anotace č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 VaVNázev: Verifikace nekonečně stavových systémů
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
VytisknoutZobrazeno: 19. 2. 2020 15:00