Deadlocking States in Context-Free Process Algebra

• Autoři: SRBA Jiří
• Rok publikování: 1998
• Druh: Článek ve sborníku
• Konference: Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98)
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.fi.muni.cz/~srba/publ.html
• Obor: Teorie informace
• Klíčová slova: BPA; process; deadlock; bisimulation

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ů