Complexity of Weak Bisimilarity and Regularity for BPA and BPP

• Autoři: SRBA Jiří
• Rok publikování: 2000
• Druh: Článek ve sborníku
• Konference: Expressiveness in Concurrency, EXPRESS'00
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.elsevier.nl/locate/entcs/volume39.html
• Obor: Počítačový hardware a software

Související projekty

• Nekonečně stavové souběžné systémy - modely a verifikace
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů