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 .

Abstract

Metadata

Authors/Creators:
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)
Dates:
  • Published: 4 November 2019
  • Accepted: 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: 10 Aug 2021 23:22
Published Version: https://doi.org/10.1007/978-3-030-31038-7
Status: Published
Publisher: Lecture Notes in Computer Science
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-030-31038-7

Download

Filename: CCST.pdf

Description: CCST

Share / Export

Statistics