On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

https://doi.org/10.1016/j.entcs.2003.10.008Get rights and content
Under a Creative Commons license
open access

Abstract

Various classes of infinite-state processes are often specified by rewrite systems. We extend Mayr's Process Rewrite Systems (PRS) [Information and Computation 156 (2000) 264–286] 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 introduced in [Theoretical Computer Science 258 (2001) 409–433; Electronic Notes in Theoretical Computer Science 52 (2002)].

Keywords

process rewrite systems
state extension
infinite state

Cited by (0)

This work has been partially supported by GAČR, grant No. 201/03/1161.