Detailed Information on Publication Record
2004
Reachability for Extended Process Rewrite Systems
ŘEHÁK, VojtěchBasic 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
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Belgium
Confidentiality degree
není předmětem státního či obchodního tajemství
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
Tags
Reviewed
Změněno: 16/11/2006 12:47, doc. RNDr. Vojtěch Řehák, Ph.D.
V originále
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.
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 project |
| ||
MSM 143300001, plan (intention) |
|