On Finite Representations of Infinite-State Behaviours.

• Autoři: KUČERA Antonín
• Rok publikování: 1997
• Druh: Článek ve sborníku
• Konference: Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Počítačový hardware a software
• Klíčová slova: concurrency; infinite-state systems; behavioural equivalences

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ů