@phdthesis{/thesis/Lowe93,
  title = "{Probabilities and Priorities in Timed CSP}",
  author = "Gavin Lowe",
  year = "1993",
  school = "Oxford University Computing Laboratory",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/Probs/thesis.ps.gz",
}