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	Článek ve sborníku
Konference	Mathematical Foundations of Computer Science 1999, Proceedings
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.fi.muni.cz/usr/stribrna/Documents/mfcsfin.ps
Obor	Obecná matematika
Klíčová slova	basic process algebra; weak bisimulation; approximants; lower and upper bound
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ů