TY - JOUR
T1 - Complexity of Equivalence Problems for Concurrent Systems of Finite Agents
AU - Rabinovich, Alexander
PY - 1997/12/15
Y1 - 1997/12/15
N2 - A concurrent system of synchronous communicating agents is assembled from simpler sequential agents by parallel composition and hiding. For example, hide a1, ... al in (p1 ∥ p2 ⋯ ∥ pn) describes the system of communicating agents p1, ... pn in which the communication events a1, ... al are hidden. Consider descriptions of two systems p and q of synchronously communicating finite state agents. Assume that one wants to check whether p∼q for one of the commonly used equivalence ∼. We show that this question is PSPACE hard for all equivalences that lie between strong bisimulation and trace equivalences. For some equivalences exponential lower and upper bounds are proven. We also show that this problem is NP hard and co-NP hard even for a class of very simple finite agents.
AB - A concurrent system of synchronous communicating agents is assembled from simpler sequential agents by parallel composition and hiding. For example, hide a1, ... al in (p1 ∥ p2 ⋯ ∥ pn) describes the system of communicating agents p1, ... pn in which the communication events a1, ... al are hidden. Consider descriptions of two systems p and q of synchronously communicating finite state agents. Assume that one wants to check whether p∼q for one of the commonly used equivalence ∼. We show that this question is PSPACE hard for all equivalences that lie between strong bisimulation and trace equivalences. For some equivalences exponential lower and upper bounds are proven. We also show that this problem is NP hard and co-NP hard even for a class of very simple finite agents.
UR - http://www.scopus.com/inward/record.url?scp=0001452222&partnerID=8YFLogxK
U2 - 10.1006/inco.1997.2661
DO - 10.1006/inco.1997.2661
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0001452222
SN - 0890-5401
VL - 139
SP - 111
EP - 129
JO - Information and Computation
JF - Information and Computation
IS - 2
ER -