An Axiomatic Semantics of Concurrent Programming Languages (1984)

by Leslie Lamport
Citations:5 - 3 self