Laws of Programming: The Algebraic Unification of Theories of Concurrency.

Tony Hoare

Browse the full CONCUR paper archive.