On the role of automated theorem proving in the compile-time derivation of concurrency

• Authors:

• Christian Lengauer

• Affiliations:

• -

• Venue:
• Journal of Automated Reasoning
• Year:
• 1985