A formal basis for the specification of concurrent systems (2000)

by L Lamport
Venue:Notes for the NATO Advanced Study Institute