win and sin: Predicate transformers for concurrency (1990)

by Leslie Lamport
Venue:ACM Transactions on Programming Languages and Systems
Citations:30 - 3 self