@inproceedings{TimedModel,
  author = "A. W. Roscoe and G.M. Reed",
  booktitle = "{Proc.ICALP 86}",
  number = "226",
  pages = "314--323",
  publisher = "Springer",
  series = "{LNCS}",
  title = "A timed model for communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/17.pdf",
  year = "1986",
}