Domains, Testing and Similarity for Labelled Markov Processes (2003)

by F van Breugel, M Mislove, J Ouaknine, J Worrell
Venue:Proceedings of FOSSACS'03, Theoret. Comp. Sci