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

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Ribeiro, Pedro
  • Augusto Sampaio
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: 22 August 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/M025756/1
THE ROYAL SOCIETY
IEC\NSFC\170319
Depositing User: Pure (York)
Date Deposited: 10 Sep 2019 11:10
Last Modified: 04 Jan 2025 00:27
Published Version: https://doi.org/10.1007/978-3-030-31038-7_1
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-030-31038-7_1
Open Archives Initiative ID (OAI ID):

Download

Filename: CCST.pdf

Description: CCST

Export

Statistics