Compositional Proof Methods for Concurrency: A Semantic Approach

Authors:
Frank S. de Boer;Willem P. de Roever
Affiliations:
-;-
Venue:
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Year:
1997

Citing 3
Cited 0

Compositionality, concurrency and partial correctness

Compositionality, concurrency and partial correctness
Verification of a Multiplier: 64 Bits and Beyond

CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract