A Syntactical Analysis of Reversible PEPA Models

@inproceedings{Hillston1998ASA,
  title={A Syntactical Analysis of Reversible PEPA Models},
  author={Jane Hillston and Nigel Thomas},
  year={1998}
}