Approximating Weak Bisimulation on Basic Process Algebras

• Autoři: STŘÍBRNÁ Jitka
• Rok publikování: 1999
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky

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ů