@inproceedings{PavlovicD:AMAST06,
  author = "Dusko Pavlovic and Michael Mislove and James Worrell",
  booktitle = "Proceedings of AMAST 2006",
  editor = "Michael Johnson and Varmo Vene",
  pages = "308--322",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Testing semantics: Connecting processes and process logics",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST06.pdf",
  volume = "4019",
  year = "2006",
}