Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency

• Authors:

• Frank S. de Boer;Ulrich Hannemann;Willem P. de Roever

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1997