Please use this identifier to cite or link to this item:
Title: A calculus for local reversibility
Authors: Kuhn, Stefan
Ulidowski, Irek
First Published: 30-Jun-2016
Presented at: 8th Conference on Reversible Computation, July 7th-8th, 2016, Bologna, Italy
Publisher: Springer Verlag (Germany)
Citation: Lecture Notes in Computer Science, Reversible Computation, 2016, Volume 9720, pp.20-35
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 effects are undone before their causes are undone, which goes beyond what typical reversible calculi can express. However, the core calculus, with a restricted 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.
DOI Link: 10.1007/978-3-319-40578-0_2
ISSN: 0302-9743
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © 2016, Springer. The file associated with this record is distributed under the Creative Commons “Attribution Non-Commercial No Derivatives” licence, further details of which can be found via the following link:
Description: The file associated with this record is under a 12-month embargo from publication in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
final2.pdfPost-review (final submitted)217.24 kBUnknownView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.