@inproceedings{ArbitraryNetworkTopologies,
  title = "{Formal Verification of Arbitrary Network Topologies}",
  author = "A. W. Roscoe and S.J. Creese",
  year = "1999",
  booktitle = "{Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)}",
  publisher = "{CSREA Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/73.pdf",
  volume = "II",
}