Deciding bisimilarity is P-complete
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/327610
Tipus de documentReport de recerca
Data publicació1990
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
On finite labelled transition systems, the problems of deciding strong bisimilarity, observation equivalence, and observation congruence are P-complete under many-one NC-reducibility. As a consequence, algorithms for automated analysis of finite state systems based on bisimulation seem to be inherently sequential in the following sense: the design of an efficient parallel algorithm to solve any of these problems will require an exceedingly hard algorithmic breakthrough.
CitacióBalcazar, J.L.; Gabarro, J.; Santha, M. Deciding bisimilarity is P-complete. 1990.
Forma partLSI-90-25
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400008549.pdf | 839,4Kb | Visualitza/Obre |