Duality for Labelled Markov Processes (2004)

by M Mislove, J Ouaknine, D Pavlovic, J Worrell
Venue:FOSSACS 2004. LNCS