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

DOI10.1007/978-3-030-31038-7_1MaRDI QIDQ2296282zbMATH OpenOpenAlexFDO

Authors Georg Struth, Tony Hoare, Jim 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)

Recommendations

• Algebra unifies operational calculi
• Sequential calculus
• Concurrent Kleene algebra and its foundations
• Developments in concurrent Kleene algebra
• An algebraic approach to temporal logic

Cited in

(2)

• scientific article; zbMATH DE number 733155 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2296282)