@article{ATimedModel,
  author = "A. W. Roscoe and G.M. Reed",
  journal = "{Theoretical Computer Science}",
  pages = "249--261",
  title = "A timed model for communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/23.pdf",
  volume = "58",
  year = "1988",
}