Modular Synthesis of Deadlock-Free Control Structures

• Authors:

• Ajoy Kumar Datta;Sukumar Ghosh

• Affiliations:

• -;-

• Venue:
• Proceedings of the Sixth Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1986