A Logical Viewpoint on Process-Algebraic Quotients

• Autoři: KUČERA Antonín; ESPARZA Javier
• Rok publikování: 1999
• Druh: Článek ve sborníku
• Konference: Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: verification; concurrency; logic; process descriptions

Související projekty

• Meze algoritmické verifikovatelnosti nekonečně stavových systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů