Duality for Labelled Markov Processes

by Michael Mislove , Joël Ouaknine , Dusko Pavlovic , James Worrell
Citations:10 - 1 self

Document Versions

Duality for Labelled Markov Processes –Michael Mislove , Joël Ouaknine, Dusko Pavlovic, James Worrell
Duality for labelled Markov processes –Michael Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell — 2004 — In Proceedings of FOSSACS 04, volume 2987 of LNCS