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]

Authors

Michael W. Mislove

This author has not been identified. Look up 'Michael W. Mislove' in Google

Dusko Pavlovic

This author has not been identified. Look up 'Dusko Pavlovic' in Google

James Worrell

This author has not been identified. Look up 'James Worrell' in Google