@inproceedings{alt,
  title = "Implementing Generalised Alt",
  author = "Gavin Lowe",
  year = "2011",
  booktitle = "Proceedings of Concurrent Process Architectures (CPA 2011)",
  pages = "1--34",
  url = "http://www.cs.ox.ac.uk/gavin.lowe/Papers/alt.pdf",
}