Local reversibility in a Calculus of Covalent Bonding
- Submitting institution
-
De Montfort University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 11175
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2017.09.008
- Title of journal
- Science of Computer Programming
- Article number
- -
- First page
- 18
- Volume
- 151
- Issue
- -
- ISSN
- 0167-6423
- Open access status
- Not compliant
- Month of publication
- October
- Year of publication
- 2017
- 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
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper reports a novel process calculus, the Calculus of Covalent Bonding. This is the first process calculus to incorporate out-of-causal-order reversibility. It also introduces locally controlled reversibility, complementing the concepts of controlled and uncontrolled reversibility. It applies concepts from modelling distributed computing to modelling chemical processes. So far, this had been done in biology, considering high-level entities like proteins and small molecules. In contrast, our modelling is on a much more detailed level, modelling atoms and bonds, and introduces the technique to a new field.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -