| 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 Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003). Marseille, France: Universite de Provence, Marseille, 2003, p. 73-86. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{488339,
author = {Křetínský, Mojmír and Řehák, Vojtěch and Strejček, Jan},
address = {Marseille, France},
booktitle = {Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003)},
keywords = {process rewrite systems; state extension; infinite-state},
language = {eng},
location = {Marseille, France},
pages = {73-86},
publisher = {Universite de Provence, Marseille},
title = {On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit},
year = {2003}
}
TY - JOUR
ID - 488339
AU - Křetínský, Mojmír - Řehák, Vojtěch - Strejček, Jan
PY - 2003
TI - On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
PB - Universite de Provence, Marseille
CY - Marseille, France
KW - process rewrite systems
KW - state extension
KW - infinite-state
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{Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003)}. Marseille, France: Universite de Provence, Marseille, 2003, p.~73-86.
|
