Login / Signup

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism.

Mihaela SighireanuTayssir Touili
Published in: INFINITY (2009)
Keyphrases
  • reachability analysis
  • rewrite systems
  • process model
  • database
  • database systems
  • state space