@inproceedings{DBLP:conf/mfps/DaviesS89,
  title = "Factorizing Proofs in Timed {CSP}",
  author = "Jim Davies and Steve Schneider",
  year = "1989",
  crossref = "DBLP:conf/mfps/1989",
  pages = "129-159",
}