A specification structure for deadlock-freedom of synchronous processes

• Authors:

• S. Abramsky;S. J. Gay;R. Nagarajan

• Affiliations:

• Univ. of Edinburgh, Edinburgh, UK;Univ. of London, Surrey, UK;Imperial College of Science, London, UK

• Venue:
• Theoretical Computer Science
• Year:
• 1999