ŘEHÁK, Vojtěch. Reachability for Extended Process Rewrite Systems. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004. s. 77-82, 6 s.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název 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 (203 Česká republika, garant).
Vydání Bruxelles, Belgium, MOVEP'04: 6th school on MOdeling and VErifying parallel Processes, od s. 77-82, 6 s. 2004.
Nakladatel Universite Libre de Bruxelles
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Belgie
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/04:00010695
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Štítky decidability, expressivness, infinite-state, process rewrite systems, reachability, state extension
Příznaky Recenzováno
Změnil Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
Anotace
We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the reachability problem for PRS extended with a so called weak finite state unit is decidable.
Anotace česky
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.
Návaznosti
GA201/03/1161, projekt VaVNázev: Verifikace nekonečně stavových systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 22. 10. 2020 05:51