Items where authors include "Hoare, Tony"

Proceedings Paper

Hoare, Tony, Struth, Georg and Woodcock, James Charles Paul orcid.org/0000-0001-7955-2702 (2019) A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic. In: Ribeiro, Pedro and Augusto Sampaio, (eds.) Unifying Theories of Programming:7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer .