The Laws of Programming Unify Process Calculi.

Tony Hoare, Stephan van Staden

Browse the full MPC paper archive.