Comparing the Classes BPA and BPA with Deadlocks

• Autoři: SRBA Jiří
• Rok publikování: 1998
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Technical report, Faculty of Informatics, Masaryk University, Brno
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.fi.muni.cz/informatics/reports/abstract/FIMU-RS-98-05.html
• Obor: Teorie informace
• Klíčová slova: process algebra; 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ů