On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

KUČERA Antonín MAYR Richard

Rok publikování 2010
Druh Článek v odborném periodiku
Časopis / Zdroj Information and Computation
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova pushdown automata; verification; simulation; bisimulation
Popis Simulační preorder/ekvivalence a bisimulační ekvivalence jsou hojně využívány v teorii souběžnosti. Ve své standardní podobě jsou obvykle označovány jako "silná" simulační resp. bisimulační ekvivalence, zatímco ve své "slabé" podobě tyto relace abstrahují od interních tau-akcí. V článku je studována výpočetní složitost problému simulační a bisimulační ekvivalence mezi procesy zásobníkových automatů a procesy s konečně mnoha stavy.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info