The “Hoare Logic” of Concurrent Programs (0)

by L Lamport
Venue:Acta Informatica