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
The calculus formalises human intuition and common sense about space, time, and causality in the natural world. Its intention is to assist in the design and implementation of programs, of programming languages, and of interworking by tool chains that support rational program development. The theses of this paper are that Concurrent Kleene Algebra (CKA) is the algebra of programming, that the diagrams of the Unified Modeling Language provide its geometry, and that Unifying Theories of Program- ming (UTP) provides its logic. These theses are illustrated by a fomalisation of features of the first concurrent object-oriented language, Simula 67. Each level of the calculus is a conservative extension of its predecessor. We conclude the paper with an extended section on future research directions for developing and applying UTP, CKA, and our calculus, and on how we propose to implement our algebra, geometry, and logic.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
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: |
|
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): | oai:eprints.whiterose.ac.uk:150600 |