Duality for Labelled Markov Processes

by Michael Mislove , Joël Ouaknine, Dusko Pavlovic, James Worrell