Other formats:
BibTeX
LaTeX
RIS
@inproceedings{562895,
author = {Řehák, Vojtěch},
address = {Bruxelles, Belgium},
booktitle = {MOVEP'04: 6th school on MOdeling and VErifying parallel Processes},
keywords = {process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability},
language = {eng},
location = {Bruxelles, Belgium},
pages = {77-82},
publisher = {Universite Libre de Bruxelles},
title = {Reachability for Extended Process Rewrite Systems},
year = {2004}
}
TY - JOUR
ID - 562895
AU - Řehák, Vojtěch
PY - 2004
TI - Reachability for Extended Process Rewrite Systems
PB - Universite Libre de Bruxelles
CY - Bruxelles, Belgium
KW - process rewrite systems
KW - state extension
KW - infinite-state
KW - expressivness
KW - reachability
KW - decidability
N2 - 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.
ER -
ŘEHÁK, Vojtěch. Reachability for Extended Process Rewrite Systems. In \textit{MOVEP'04: 6th school on MOdeling and VErifying parallel Processes}. Bruxelles, Belgium: Universite Libre de Bruxelles. p.~77-82. 2004.
|
