@article{PavlovicD:Plotkinfest07,
  address = "Amsterdam, The Netherlands, The Netherlands",
  author = "Michael Mislove and Dusko Pavlovic and James Worrell",
  doi = "http://dx.doi.org/10.1016/j.entcs.2007.02.015",
  issn = "1571-0661",
  journal = "Electron. Notes Theor. Comput. Sci.",
  pages = "459--478",
  publisher = "Elsevier Science Publishers B. V.",
  title = "Labelled Markov Processes as Generalised Stochastic Relations",
  volume = "172",
  year = "2007",
}