Structural Analysis for Stochastic Process Algebra Models

@inproceedings{Ding2010StructuralAF,
  title={Structural Analysis for Stochastic Process Algebra Models},
  author={Jie Ding and Jane Hillston},
  booktitle={AMAST},
  year={2010}
}