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
• Citace: STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. In Mathematical Foundations of Computer Science 1999, Proceedings. Berlin Heidelberg New York: Springer-Verlag, 1999, s. 366-374. Lecture Notes in Computer Science 1672. ISBN 3-540-66408-4.
• 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ů