A compositional reformulation of Owicki-Grier's partial correctness logic for a concurrent while language

Authors:
C Sterling
Affiliations:
-
Venue:
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Year:
1986

Citing 0
Cited 2

Fairness in parallel programs: the transformational approach

ACM Transactions on Programming Languages and Systems (TOPLAS)
Wanted: a compositional approach to concurrency

Programming methodology

Quantified Score

Hi-index	0.00

Visualization

Abstract