@inproceedings{paper37,
  title = "Interaction Categories and the Foundations of Typed Concurrent Programming",
  author = "S. Abramsky and S. Gay and R. Nagarajan",
  year = "1996",
  booktitle = "Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design",
  editor = "M. Broy",
  pages = "35-113",
  publisher = "Springer-Verlag",
}