A calculus of space, time, and causality: its algebra, geometry, logic

DOI10.1007/978-3-030-31038-7_1OpenAlexW2974252365MaRDI QIDQ2296282

Georg Struth, C. A. R. Hoare, J. C. P. Woodcock

Publication date: 18 February 2020

Full work available at URL: https://eprints.whiterose.ac.uk/150600/1/CCST.pdf

zbMATH Keywords

action algebracartesian coordinatesCalculus of Communicating Systems (CCS)Communicating Sequential Processes (CSP)Concurrent Kleene Algebra (CKA)Concurrent Separation Logic (CSL)discrete euclidean geometryUnified Modeling Language (UML)Unifying Theories of Programming (UTP)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: A calculus of space, time, and causality: its algebra, geometry, logic