Duality for Labelled Markov Processes
by
Michael Mislove
,
Joël Ouaknine
,
Dusko Pavlovic
,
James Worrell
| Citations: | 7 - 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 |
