@inproceedings{HierarchicalCompression,
  title = "{Hierarchical compression for model-checking CSP, or How to check 10^{20} dining philosophers for deadlock}",
  author = "A. W. Roscoe and P.H.B. Gardiner, M.H. Goldsmith, J.R. Hulance, D.M.Jackson and J.B. Scattergood",
  year = "1995",
  booktitle = "{Proceedings of TACAS 1995}",
  note = "also revised in a version of these proceedings published by {LNCS}",
  publisher = "{BRICS}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/59.pdf",
}