Reachability for Extended Process Rewrite Systems

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Verifikace nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů