Testing for Simulation and Bisimulation in Labelled Markov Processes (2003)

Cached

Download Links

by Franck van Breugel , Michael Mislove , Joël Ouaknine , James Worrell

Document Versions

Testing for Simulation and Bisimulation in Labelled Markov Processes –Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell — 2003