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.
|
