Reachability for Extended Process Rewrite Systems

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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

Citace
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.