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