@inproceedings{paper44,
  title = "A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems",
  author = "S. Abramsky and S. Gay and R. Nagarajan",
  year = "1997",
  booktitle = "Theoretical Aspects of Computer Software",
  editor = "M. Abadi and T. Ito",
  pages = "295-320",
  publisher = "Springer-Verlag",
  series = "Springer Lecture Notes in Computer Science",
  volume = "1281",
}