A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

Hoare, Tony, Struth, Georg and Woodcock, James Charles Paul orcid.org/0000-0001-7955-2702 (2019) A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic. In: Ribeiro, Pedro and Augusto Sampaio, (eds.) Unifying Theories of Programming:7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Lecture Notes in Computer Science . Springer .



Keywords: Concurrent Kleene Algebra (CKA),Concurrent Separation Logic (CSL),Calculus of Communicating Systems (CCS),Communicating Sequential Processes (CSP),Action Algebra,Discrete Euclidian Geometry,Cartesian Coordinates,Unified Modeling Language (UML),Unifying Theories of Programming (UTP)
  • Accepted: 4 November 2019
  • Published: 4 November 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Sep 2019 11:10
Last Modified: 21 Oct 2022 13:14
Published Version: https://doi.org/10.1007/978-3-030-31038-7_1
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-030-31038-7_1


Filename: CCST.pdf

Description: CCST

Share / Export