@inproceedings{DBLP:conf/concur/DaviesS92,
  title = "Using {CSP} to Verify a Timed Protocol over a Fair Medium",
  author = "Jim Davies and Steve Schneider",
  year = "1992",
  crossref = "DBLP:conf/concur/1992",
  pages = "355-369",
}