"Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)"@cs . "RIV/61989100:27240/04:00010320" . "9" . . "Barcelona" . "1"^^ . "Barcelona" . "Jan\u010Dar, Petr" . "Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)"@en . . . . . "P(GA201/03/1161), Z(MSM 272400013)" . "2"^^ . "RIV/61989100:27240/04:00010320!RIV/2005/GA0/272405/N" . . . "A recent paper by Jan\u010Dar (presented at LiCS 2003) demonstrated that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space."@en . . . . "A recent paper by Jan\u010Dar (presented at LiCS 2003) demonstrated that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space." . . "A recent paper by Jan\u010Dar (presented at LiCS 2003) demonstrated that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space. Here we explore a (more detailed) version of the respective algorithm when applied to the subclass called normed BPP (nBPP), and show that in this case the algorithm runs in polynomial time;"@cs . . "9"^^ . "Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)"@cs . "Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)" . . "2004-04-28+02:00"^^ . "Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)" . "[359BD3E2E1FB]" . "27240" . "Bisimilarity on normed Basic Parallel Processes can be decided in time O(n3)"@en . "556378" . "Proceedings of the Third International Workshop on Automated Verification of Infinite-State Systems - AVIS2004" . . . "bisimulation equivalence;normed basic parallel processes;polynomial"@en . . "Kot, M." . "Technical University of Catalonia" . . .