@inproceedings{InternalisingAgents,
  title = "{Internalising Agents in CSP Protocol Models}",
  author = "A. W. Roscoe and P. J. Broadfoot",
  year = "2002",
  booktitle = "{Proceedings of WITS 2002}",
  note = "Extended Abstract",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/83.ps",
}