@inproceedings{DBLP:conf/rex/SchneiderDJRRR91,
  title = "Timed {CSP}: Theory and Practice",
  author = "Steve Schneider and Jim Davies and D. M. Jackson and George M. Reed and Joy N. Reed and A. W. Roscoe",
  year = "1991",
  crossref = "DBLP:conf/rex/1991",
  pages = "640-675",
}