@inproceedings{PavlovicD:FOSSACS04,
  author = "Michael Mislove and Joel Ouaknine and Dusko Pavlovic and James Worrell",
  booktitle = "Proceedings of FoSSaCS 2004",
  editor = "Igor Walukiewicz",
  pages = "393--407",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Duality for Labelled Markov Processes",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/DLMP.ps",
  volume = "2987",
  year = "2004",
}