An Attempt to Reason about Shared-State Concurrency in the Style of VDM

• Authors:

• Ketil Stølen

• Affiliations:

• -

• Venue:
• VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
• Year:
• 1991