Towards a theory for the analysis and synthesis of systems exhibiting concurrency.

• Authors:

• Tilak Krishna Mahesh Agerwala

• Affiliations:

• -

• Venue:
• Towards a theory for the analysis and synthesis of systems exhibiting concurrency.
• Year:
• 1975