Ř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. p. 77-82, 6 pp.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Reachability for Extended Process Rewrite Systems
Name in Czech Dosažitelnost pro rozšířené procesové přepisovací systémy
Authors ŘEHÁK, Vojtěch (203 Czech Republic, guarantor).
Edition Bruxelles, Belgium, MOVEP'04: 6th school on MOdeling and VErifying parallel Processes, p. 77-82, 6 pp. 2004.
Publisher Universite Libre de Bruxelles
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Belgium
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/04:00010695
Organization unit Faculty of Informatics
Keywords in English process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Tags decidability, expressivness, infinite-state, process rewrite systems, reachability, state extension
Tags Reviewed
Changed by Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 16/11/2006 12:47.
Abstract
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.
Abstract (in Czech)
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.
Links
GA201/03/1161, research and development projectName: Verifikace nekonečně stavových systémů
Investor: Czech Science Foundation, Standard Projects
MSM 143300001, plan (intention)Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Research Intents
PrintDisplayed: 22/10/2020 04:50