Duality for Labelled Markov Processes
Michael Mislove, Joel Ouaknine, Dusko Pavlovic and James Worrell infobook title | Proceedings of FoSSaCS 2004 |
editor | Igor Walukiewicz |
pages | 393—407 |
publisher | Springer Verlag |
series | Lecture Notes in Computer Science |
volume | 2987 |
year | 2004 |
links
BibTeX
Link (ps)
related pages
|
