Two-Way Protocols for occam-pi

@inproceedings{Sampson2008TwoWayPF,
  title={Two-Way Protocols for occam-pi},
  author={Adam T. Sampson},
  booktitle={CPA},
  year={2008}
}