This page shows all presentations of this author published in EasyChair Smart Slide.
A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
Tony Hoare, Georg Struth and Jim Woodcock