win and sin : Predicate transformers for concurrency (1990)

by Leslie Lamport
Venue:Programming Languages and Systems