Roadmap of Infinite Results

• Autoři: SRBA Jiří
• Rok publikování: 2002
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Bulletin of the European Association for Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Teorie informace
• Klíčová slova: infinite systems; bisimilarity; regularity; survey
• Popis: This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/~srba/roadmap.

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ů