Partial correctness of exits from concurrent structures

Authors:
S Meldal
Affiliations:
-
Venue:
BIT
Year:
1986

Citing 0
Cited 2

OTM: Applying objects to tasks

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A complete axiomatic semantics of spawning

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract