Approximating Weak Bisimulation on Basic Process Algebras

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou 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 Č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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.