A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic

Tony Hoare, Georg Struth, Jim Woodcock. A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. In Pedro Ribeiro 0002, Augusto Sampaio, editors, 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. Volume 11885 of Lecture Notes in Computer Science, pages 3-21, Springer, 2019. [doi]

Abstract

Abstract is missing.