Domain theory, testing and simulation for labelled Markov processes

Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell. Domain theory, testing and simulation for labelled Markov processes. Theoretical Computer Science, 333(1-2):171-197, 2005. [doi]

Abstract

Abstract is missing.