While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract).

Leslie Lamport

Browse the full CONCUR paper archive.