Duality for Labelled Markov Processes.

Michael W. Mislove, Jol Ouaknine, Dusko Pavlovic, James Worrell

Browse the full FOSSACS paper archive.