MOLLER, Faron, Scot SMOLKA a Jiří SRBA. On the Computational Complexity of Bisimulation, Redux. Information and Computation. Netherlands: Elsevier Science, ?, ?, s. ?, 20 s. ISSN 0890-5401. 2004.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On the Computational Complexity of Bisimulation, Redux
Název česky Vypocetni slozitost bisimulace
Autoři MOLLER, Faron (752 Švédsko), Scot SMOLKA (840 Spojené státy) a Jiří SRBA (203 Česká republika, garant).
Vydání Information and Computation, Netherlands, Elsevier Science, 2004, 0890-5401.
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 Nizozemské království
Utajení není předmětem státního či obchodního tajemství
WWW URL
Impakt faktor Impact factor: 0.920
Kód RIV RIV/00216224:14330/04:00010071
Organizační jednotka Fakulta informatiky
UT WoS 000224885700004
Klíčová slova anglicky bisimilarity; complexity
Štítky bisimilarity, complexity
Změnil Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 18. 1. 2005 17:27.
Anotace
Paris Kanellakis and the second author (Smolka) were among the first to investigate the computational complexity of bisimulation, and the first and third authors (Moller and Srba) have long-established track records in the field. Smolka and Moller have also written a brief survey about the computational complexity of bisimulation [Moller,Smolka'95]. The authors believe that the special issue of Information and Computation devoted to PCK50: Principles of Computing and Knowledge: Paris C. Kanellakis Memorial Workshop represents an ideal opportunity for an up-to-date look at the subject.
Anotace česky
Jedna se o prehledovy clanek, ktery poskytuje seznam vysledku a odkazu na ne z oblasti porovnavani nekonecne stavovych systemu vzhledem k semantickym ekvivalencim.
Návaznosti
GA201/03/1161, projekt VaVNázev: Verifikace nekonečně stavových systémů
Investor: Grantová agentura ČR, Verifikace nekonečně stavových systémů
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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 29. 3. 2024 01:41