A calculus and logic of bunched resources and processes
- Submitting institution
-
University College London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 14079
- Type
- D - Journal article
- DOI
-
10.1016/j.tcs.2015.11.035
- Title of journal
- THEORETICAL COMPUTER SCIENCE
- Article number
- -
- First page
- 63
- Volume
- 614
- Issue
- -
- ISSN
- 0304-3975
- Open access status
- Out of scope for open access requirements
- Month of publication
- February
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Provides general mathematical theory of evolution and logical properties of models of distributed systems based on core concepts of location, resource, process. Solves key technical problem of fully general van Benthem-Hennessy-Milner equivalence theorem. Provides key underpinning for EPSRC Programme Grant `IRIS’, with a distributed systems (as a generic systems metaphor) modelling discipline: interfaces, security policies, and correctness properties. Provides theoretical underpinning for modelling work with Fong at UCLH on optimizing resource allocation in emergency and trauma units (system modelling code open source at https://github.com/tristanc/SysModels), with start-up `The Limiting Factor’ (Directors: Caulfield, Fong, Pym).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -