Effective Decomposability of Sequential Behaviours.

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	KUČERA Antonín
Rok publikování	2000
Druh	Článek v odborném periodiku
Časopis / Zdroj	Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Klíčová slova	concurrency; process algebra; bisimilarity; decomposability
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ů