Tony Hoare, Stephan van Staden. The Laws of Programming Unify Process Calculi. In Jeremy Gibbons, Pablo Nogueira, editors, Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Volume 7342 of Lecture Notes in Computer Science, pages 7-22, Springer, 2012. [doi]
Abstract is missing.