2004
On the Computational Complexity of Bisimulation, Redux
MOLLER, Faron, Scot SMOLKA a Jiří SRBAZá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
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í
Odkazy
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
Změněno: 18. 1. 2005 17:27, Prof. Jiří Srba, Ph.D.
V originále
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.
Č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 VaV |
| ||
| MSM 143300001, záměr |
|