@inproceedings{paper51,
  title = "A Specification Structure for Deadlock-freedom of Synchronous Processes",
  author = "S. Abramsky and S. J. Gay and R. Nagarajan",
  year = "1999",
  booktitle = "Theoretical Computer Science",
  pages = "1-53",
  volume = "222",
}