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

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

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

Recommendations

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

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)

Cited In (2)

• Theoretical Aspects of Computing - ICTAC 2004
• Title not available (Why is that?)

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)