4 search results - page 1 / 1 » Reachability of Hennessy-Milner Properties for Weakly Extend... |
FSTTCS
2005
Springer
13 years 10 months ago
2005
Springer
CONCUR
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...