"In this paper we consider the problem of deciding bisimulation equivalence of a BPP and a finite-state system. We show that the problem can be solved in polynomial time and we present an algorithm deciding the problem in time O(n^4). The algorithm also constructs for each state of the finite-state system a `symbolic' semilinear representation of the set of all states of the BPP system which are bisimilar with this state." . "RIV/61989100:27240/04:00010337!RIV/2005/GA0/272405/N" . "Kot, M." . . . "Springer-Verlag" . "Bisimulation Equivalence of a BPP and a Finite State System can be Decided in Polynomial Time"@cs . . "27240" . "P(GA201/03/1161), Z(MSM 272400013)" . . "73-81" . . "Bisimulation Equivalence of a BPP and a Finite State System can be Decided in Polynomial Time"@en . . . . . "[DF8D7B6FA88F]" . . . "Bisimulation Equivalence of a BPP and a Finite State System can be Decided in Polynomial Time"@cs . "2004-09-28+02:00"^^ . "Sawa, Zden\u011Bk" . . "RIV/61989100:27240/04:00010337" . . "Bisimulation Equivalence of a BPP and a Finite State System can be Decided in Polynomial Time" . "Lond\u00FDn" . . "Lond\u00FDn" . "Bisimulation Equivalence of a BPP and a Finite State System can be Decided in Polynomial Time"@en . "Proceedings of Infinity 2004 (A Satellite Workshop of CONCUR 2004)" . . . . . "Bisimulation Equivalence of a BPP and a Finite State System can be Decided in Polynomial Time" . "In this paper we consider the problem of deciding bisimulation equivalence of a BPP and a finite-state system."@cs . "9"^^ . "In this paper we consider the problem of deciding bisimulation equivalence of a BPP and a finite-state system. We show that the problem can be solved in polynomial time and we present an algorithm deciding the problem in time O(n^4). The algorithm also constructs for each state of the finite-state system a `symbolic' semilinear representation of the set of all states of the BPP system which are bisimilar with this state."@en . "556379" . . "2"^^ . "bisimulation equivalence;basic parallel processes;finite-state processesence;basic parallel processes;finite-state processes"@en . "1"^^ .