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}, }