Local reversibility in a Calculus of Covalent Bonding
| dc.cclicence | CC-BY-NC | en |
| dc.contributor.author | Kuhn, Stefan | |
| dc.contributor.author | Ulidowski, Irek | |
| dc.date.acceptance | 2017-09-25 | |
| dc.date.accessioned | 2020-08-24T12:45:24Z | |
| dc.date.available | 2020-08-24T12:45:24Z | |
| dc.date.issued | 2018-01-01 | |
| dc.description | The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link. | en |
| dc.description.abstract | We introduce a process calculus with a new prefixing operator that allows us to model locally controlled reversibility. Actions can be undone spontaneously, as in other reversible process calculi, or as pairs of concerted actions, where performing a weak action forces undoing of another action. The new operator in its full generality allows us to model out-of-causal order computation, where causes are undone before their effects are undone, which goes beyond what typical reversible calculi can express. However, the core calculus, which uses only the reduced form of the new operator, is well behaved as it satisfied causal consistency. We demonstrate the usefulness of the calculus by modelling the hydration of formaldehyde in water into methanediol, an industrially important reaction, where the creation and breaking of some bonds are examples of locally controlled out-of-causal order computation. | en |
| dc.funder | No external funder | en |
| dc.identifier.citation | Kuhn, S. and Ulidowski, I. (2018) Local reversibility in a Calculus of Covalent Bonding.Science of Computer Programming, 151, pp. 18-47 | en |
| dc.identifier.doi | https://doi.org/10.1016/j.scico.2017.09.008 | |
| dc.identifier.issn | 0167-6423 | |
| dc.identifier.uri | https://dora.dmu.ac.uk/handle/2086/20091 | |
| dc.language.iso | en | en |
| dc.peerreviewed | Yes | en |
| dc.publisher | Elsevier | en |
| dc.researchinstitute | Cyber Technology Institute (CTI) | en |
| dc.subject | Reversible process calculi | en |
| dc.subject | local reversibility | en |
| dc.subject | modelling of biochemical reactions | en |
| dc.title | Local reversibility in a Calculus of Covalent Bonding | en |
| dc.type | Article | en |