@inproceedings{CSPandDeterminism,
  title = "{CSP} and determinism in security modelling",
  author = "1996",
  year = "1996",
  booktitle = "{Proceedings of 1995 IEEE Symposium on Security and Privacy}",
  publisher = "{IEEE Computer Society Press}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/56.ps",
}