Reachability for Extended Process Rewrite Systems

• Název česky: Dosažitelnost pro rozšířené procesové přepisovací systémy
• Autoři: ŘEHÁK Vojtěch
• Rok publikování: 2004
• Druh: Článek ve sborníku
• Konference: MOVEP'04: 6th school on MOdeling and VErifying parallel Processes
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
• Popis: Sjednocujeme pohled na rozšíření procesových přepisovacích systemů a prezentujeme důkaz rozhodnutelnosti problému dosažitelnosti pro procesové přepisovací systémy rozšířené o slabou konečně stavovou jednotku.

Související projekty

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