@inproceedings{paper55,
  title = "Process Realizability",
  author = "S. Abramsky",
  year = "2000",
  booktitle = "Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School",
  editor = "F. L. Bauer and R. Steinbr{\"u}ggen",
  pages = "167-180",
  publisher = "{IOS} Press",
}