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
• Citace: SRBA, Jiří. Complexity of Weak Bisimilarity and Regularity for BPA and BPP. In Expressiveness in Concurrency, EXPRESS'00. 1. vyd. State College: Elsevier, 2000, s. 1-20. ENTCS, Vol.39.
• 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ů