Labelled Markov Processes as Generalised Stochastic Relations

Michael W. Mislove, Dusko Pavlovic, James Worrell. Labelled Markov Processes as Generalised Stochastic Relations. Electronic Notes in Theoretical Computer Science, 172:459-478, 2007. [doi]

@article{MislovePW07,
  title = {Labelled Markov Processes as Generalised Stochastic Relations},
  author = {Michael W. Mislove and Dusko Pavlovic and James Worrell},
  year = {2007},
  doi = {10.1016/j.entcs.2007.02.015},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.02.015},
  tags = {Markov},
  researchr = {https://researchr.org/publication/MislovePW07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {172},
  pages = {459-478},
}