"?" . "?" . "On the Computational Complexity of Bisimulation, Redux"@en . . "3"^^ . "NL - Nizozemsko" . . "P(GA201/03/1161), Z(MSM 143300001)" . . "1"^^ . "Vypocetni slozitost bisimulace"@cs . "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."@en . "20"^^ . . . . "577854" . . "Moller, Faron" . . "14330" . . "Smolka, Scot" . . "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." . . "Srba, Ji\u0159\u00ED" . "bisimilarity; complexity"@en . "Vypocetni slozitost bisimulace"@cs . "On the Computational Complexity of Bisimulation, Redux" . "RIV/00216224:14330/04:00010071" . . . "RIV/00216224:14330/04:00010071!RIV08-MSM-14330___" . "Information and Computation" . "[57D4B4ACB686]" . . . "On the Computational Complexity of Bisimulation, Redux"@en . "On the Computational Complexity of Bisimulation, Redux" . "Jedna se o prehledovy clanek, ktery poskytuje seznam vysledku a odkazu na ne z oblasti porovnavani nekonecne stavovych systemu vzhledem k semantickym ekvivalencim."@cs . . "?" .