Login / Signup
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism.
Mihaela Sighireanu
Tayssir Touili
Published in:
INFINITY (2009)
Keyphrases
</>
reachability analysis
rewrite systems
process model
database
database systems
state space