@inproceedings{RoutingMessages,
  address = "Amsterdam",
  author = "A. W. Roscoe",
  booktitle = "{Programming of Transputer Based Machines: Proceedings of 7th occam User Group Technical Meeting}",
  editor = "Muntean et al.",
  publisher = "{IOS B.V.}",
  title = "Routing messages through networks: an exercise in deadlock avoidance",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/21.ps",
  year = "1987",
}