@article{journals/tcs/Lowe95,
  title = "Probabilistic and Prioritized Models of Timed CSP",
  author = "Gavin Lowe",
  year = "1995",
  journal = "Theor. Comput. Sci.",
  number = "2",
  pages = "315-352",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/Probs/MFPS.ps.gz",
  volume = "138",
  doi = "10.1016/0304-3975(94)00171-E",
}