33 citations · 116 across the 22 of their papers we have counts for
Showing 2004Show all
2 papers · 1 filter
cs.OH2004
Model checking for Process Rewrite Systems and a class of action--based regular properties
Laura Bozzelli
We consider the model checking problem for Process Rewrite Systems (PRSs), an infinite-state formalism (non Turing-powerful) which subsumes many common models such as Pushdown Proc…
cs.OH2004
Verification of Process Rewrite Systems in normal form
Laura Bozzelli
We consider the problem of model--checking for Process Rewrite Systems (PRSs) in normal form. In a PRS in normal form every rewrite rule either only deals with procedure calls and…