TY - CHAP T1 - A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic T2 - Unifying Theories of Programming PY - 2019/01/01 AU - Hoare T AU - Struth G AU - Woodcock J ED - DO - DOI: 10.1007/978-3-030-31038-7_1 PB - Springer International Publishing SN - 9783030310370 SP - 3 EP - 21 Y2 - 2025/03/16 ER -