A Formal Basis for the Specification of Concurrent Systems (2000)

by Leslie Lamport
Citations:2 - 0 self