@inproceedings{verifyingDeterminism,
  title = "{Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays}",
  author = "A. W. Roscoe and R. Lazic",
  year = "1998",
  booktitle = "Proceedings of {INFINITY'98}",
  month = "July",
  note = "{extended version as Oxford University Computing Laboratory TR-2-98.}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/66.ps",
}