Approximating Weak Bisimulation on Basic Process Algebras

Varování

Publikace nespadá pod Filozofickou 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ů