The Laws of Programming Unify Process Calculi
Tony Hoare and Stephan van Staden
Book Title
Mathematics of Program Construction − 11th International Conference‚ MPC 2012‚ Madrid‚ Spain‚ June 25−27‚ 2012. Proceedings
Editor
Jeremy Gibbons and Pablo Nogueira
Pages
7−22
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7342
Year
2012