Other formats:
BibTeX
LaTeX
RIS
@inproceedings{559231, author = {Křetínský, Mojmír and Řehák, Vojtěch and Strejček, Jan}, address = {Amsterdam, The Netherlands}, booktitle = {INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems}, edition = {2004}, keywords = {process rewrite systems; state extension; infinite-state; decidability; reachability}, language = {eng}, location = {Amsterdam, The Netherlands}, pages = {75-88}, publisher = {Elsevier Science}, title = {On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit}, url = {http://dx.doi.org/10.1016/j.entcs.2003.10.008}, year = {2004} }
TY - JOUR ID - 559231 AU - Křetínský, Mojmír - Řehák, Vojtěch - Strejček, Jan PY - 2004 TI - On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit PB - Elsevier Science CY - Amsterdam, The Netherlands KW - process rewrite systems KW - state extension KW - infinite-state KW - decidability KW - reachability UR - http://dx.doi.org/10.1016/j.entcs.2003.10.008 N2 - Various classes of infinite-state processes are often specified by rewrite systems. We extend Mayr's Process Rewrite Systems (PRS) by finite-state unit whose transition function satisfies some restrictions inspired by weak finite automata. We classify these models by their expressiveness and show how the hierarchy of new classes (w.r.t.~bisimilarity) is related to both PRS hierarchy of Mayr and two other hierarchies of PRS extensions. ER -
KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In \textit{INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems}. 2004th ed. Amsterdam, The Netherlands: Elsevier Science, 2004, p.~75-88. ISSN~1571-0661.
|