Bisimilarity of Processes with Finite-State Systems

Logo poskytovatele
Logo poskytovatele

Varování

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

JANČAR Petr KUČERA Antonín MAYR Richard

Rok publikování 1998
Druh Článek ve sborníku
Konference Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
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.