Skip to main content

Duality for Labelled Markov Processes

Michael Mislove‚ Joel Ouaknine‚ Dusko Pavlovic and James Worrell

Book Title
Proceedings of FoSSaCS 2004
Editor
Igor Walukiewicz
Pages
393–407
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
2987
Year
2004