Simulation Preorder on Simple Process Algebras

• Autoři: KUČERA Antonín; MAYR Richard
• Rok publikování: 1999
• Druh: Článek ve sborníku
• Konference: Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: concurrency; simulation; infinite-state systems

Související projekty

• Rozhodnutelné problémy v algebrách procesů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů