Duality for labelled Markov processes (2004)

by M Mislove, J Ouaknine, D Pavlovic, J Worrell
Venue:Foundations of Software Science and Computation Structures, FOSSACS, volume 2987 of Lecture Notes In Computer Science