KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a 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, s. 73-86. |
Další formáty:
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 a 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, s.~73-86.
|