A Compositional Proof System for Shared Variable Concurrency

Authors:
Frank S. de Boer;Ulrich Hannemann;Willem P. de Roever
Affiliations:
-;-;-
Venue:
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Year:
1997

Citing 0
Cited 2

The Need for Compositional Proof Systems: A Survey

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A calculus of atomic actions

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract