Informace o publikaci

Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

Autoři

ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

Rok publikování 1997
Druh Článek v odborném periodiku
Časopis / Zdroj Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www ENTCS home page
Obor Počítačový hardware a software
Klíčová slova concurrency; bisimilarity; infinite-state systems
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