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

Cached

Download Links

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