Reachability Analysis of Process Rewrite Systems

@inproceedings{Bouajjani2003ReachabilityAO,
  title={Reachability Analysis of Process Rewrite Systems},
  author={Ahmed Bouajjani and Tayssir Touili},
  booktitle={FSTTCS},
  year={2003}
}