@inproceedings{SeeingBeyondDivergence,
  title = "Seeing beyond divergence",
  author = "A. W. Roscoe",
  year = "2005",
  booktitle = "{Communicating Sequential Processes, the first 25 years}",
  number = "3525",
  publisher = "{Springer LNCS}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/95.pdf",
}