Domain theory, testing and simulation for labelled Markov processes
scientific article; zbMATH DE number 2153209
scientific article