. . "469410" . . "2006-06-23+02:00"^^ . . "RIV/61989100:27240/06:00013664" . "Slo\u017Eitost n\u011Bkter\u00FDch bisimula\u010Dn\u00EDch probl\u00E9m\u016F mezi BPP a BPA nebo kone\u010Dn\u011B stavov\u00FDm syst\u00E9mem"@cs . . . . "Kot, Martin" . "I present my research concerning complexity of bisimilarity between BPP and other simple process rewrite systems, specifically BPA and finite-state systems. The results are based on some general notions introduced by Jancar in %22Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete%22 where he has shown PSPACE-completeness of bisimilarity on BPP. Some of presented results are joint work with Zdenek Sawa or my supervisor Petr Jancar."@en . . "75"^^ . "Bordeaux" . . "80"^^ . "Slo\u017Eitost n\u011Bkter\u00FDch bisimula\u010Dn\u00EDch probl\u00E9m\u016F mezi BPP a BPA nebo kone\u010Dn\u011B stavov\u00FDm syst\u00E9mem"@cs . "1"^^ . "Complexity of some Bisimilarity Problems between BPP and BPA or Finite-State System"@en . "P(1M0567)" . "1"^^ . "I present my research concerning complexity of bisimilarity between BPP and other simple process rewrite systems, specifically BPA and finite-state systems. The results are based on some general notions introduced by Jancar in %22Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete%22 where he has shown PSPACE-completeness of bisimilarity on BPP. Some of presented results are joint work with Zdenek Sawa or my supervisor Petr Jancar." . . . . "Prezentuji sv\u016Fj v\u00FDzkum t\u00FDkaj\u00EDc\u00ED se slo\u017Eitosti bisimilarity mezi BPP a jin\u00FDmi jednoduch\u00FDmi p\u0159episovac\u00EDmi syst\u00E9my, konkr\u00E9tn\u011B BPA a kone\u010Dn\u011B stavov\u00FDmi syst\u00E9my. V\u00FDsledky jsou zalo\u017Een\u00E9 na n\u011Bkter\u00FDch obecn\u00FDch pojmech zaveden\u00FDch Jan\u010Darem v %22Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete%22, kde uk\u00E1zal PSPACE-\u00FAplnost bisimilarity na BPP. N\u011Bkter\u00E9 prezentovan\u00E9 v\u00FDsledky jsou spole\u010Dnou prac\u00ED se Zde\u0148kem Sawou nebo s m\u00FDm \u0161kolitelem Petrem Jan\u010Darem."@cs . "2006-06-19+02:00"^^ . . . . "RIV/61989100:27240/06:00013664!RIV07-MSM-27240___" . "Complexity of some Bisimilarity Problems between BPP and BPA or Finite-State System" . . . "Complexity of some Bisimilarity Problems between BPP and BPA or Finite-State System"@en . "Bisimulation Equivalence; Basic Parallel Processes; Basic Process Algebra; Regularity; Complexity"@en . . "27240" . "[544FB5F71E80]" . "Complexity of some Bisimilarity Problems between BPP and BPA or Finite-State System" . .