Approximating Weak Bisimulation on Basic Process Algebras

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	STŘÍBRNÁ Jitka
Rok publikování	1999
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů