Bisimilarity of Processes with Finite-State Systems

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	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	JANČAR, Petr, Antonín KUČERA a Richard MAYR. Bisimilarity of Processes with Finite-State Systems. K. Larsen, S. Skyum, G. Winskel (Eds.). In Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98). Berlin: Springer, 1998, s. 200-211. Lecture Notes in Computer Science, vol. 1443. ISBN 3-540-64781-3.
Obor	Počítačový hardware a software
Klíčová slova	concurrency; bisimilarity; infinite-state systems
Související projekty:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Rozhodnutelné problémy v algebrách procesů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů