UTP 2019: 7TH INTERNATIONAL SYMPOSIUM ON UNIFYING THEORIES OF PROGRAMMING
SLIDES

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

Tony Hoare, Georg Struth and Jim Woodcock