Approximating Weak Bisimulation on Basic Process Algebras

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	STŘÍBRNÁ Jitka
Rok publikování	1999
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. Brno: Fakulta informatiky Masarykovy university, 1999, 18 s. FI MU Report Series FIMU-RS-99-05.
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ů