Další formáty:
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, 2004, s.~77-82.
|