@article{Responsiveness,
  title = "Responsiveness of Interoperating Components",
  author = "A. W. Roscoe and J. N. Reed and J. E. Sinclair",
  year = "2004",
  journal = "Formal Aspects of Computing",
  pages = "394--411",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/98.pdf",
  volume = "16",
}