Approximating Weak Bisimulation on Basic Process Algebras

• 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
• 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ů