An axiomatic semantics of concurrent programming languages (1985)

by L Lamport
Venue:In Logics and Models of Concurrent Systems