University of Leicester
Browse
KuhnUlidowski.pdf (479 kB)

Local reversibility in a Calculus of Covalent Bonding

Download (479 kB)
journal contribution
posted on 2018-03-07, 15:32 authored by Stefan Kuhn, Irek Ulidowski
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.

History

Citation

Science of Computer Programming, 2018, 151, pp. 18-47

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Version

  • AM (Accepted Manuscript)

Published in

Science of Computer Programming

Publisher

Elsevier

issn

0167-6423

eissn

1872-7964

Acceptance date

2017-09-25

Copyright date

2017

Available date

2019-10-05

Publisher version

https://www.sciencedirect.com/science/article/pii/S016764231730196X

Notes

The file associated with this record is under embargo until 24 months after publication, in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC