Unifying Semantics for Concurrent Programming
Tony Hoare
Book Title
Computation‚ Logic‚ Games‚ and Quantum Foundations. The Many Facets of Samson Abramsky − Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Editor
Bob Coecke and Luke Ong and Prakash Panangaden
Pages
139−149
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7860
Year
2013