Other formats:
BibTeX
LaTeX
RIS
@misc{488340, author = {Křetínský, Mojmír and Řehák, Vojtěch and Strejček, Jan}, address = {Brno}, keywords = {process rewrite systems; state extension; infinite-state}, language = {eng}, location = {Brno}, publisher = {FI MU}, title = {Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)}, year = {2003} }
TY - GEN ID - 488340 AU - Křetínský, Mojmír - Řehák, Vojtěch - Strejček, Jan PY - 2003 TI - Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper) VL - FIMU-RS-2003-05 PB - FI MU CY - Brno 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. \textit{Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)}. Brno: FI MU, 2003, 23 pp. FIMU-RS-2003-05.
|