Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/44855
Title: Reversing Event Structures
Authors: Ulidowski, I
Phillips, I
Yuen, S
First Published: 24-Aug-2018
Publisher: Springer Verlag
Citation: New Generation Computing, 2018, 36 (3), pp. 281-306 (26)
Abstract: Reversible computation has attracted increasing interest in recent years. In this paper, we show how to model reversibility in concurrent computation as realised abstractly in terms of event structures. Two different forms of event structures are considered, namely event structures defined by causation and prevention relations and event structures given by an enabling relation with prevention. We then show how to reverse the two kinds of event structures, and discuss causal as well as out-of-causal order reversibility.
DOI Link: 10.1007/s00354-018-0040-8
ISSN: 0288-3635
eISSN: 1882-7055
Links: http://hdl.handle.net/2381/44855
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © the authors, 2018. This is an open-access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
Ulidowski2018_Article_ReversingEventStructures.pdfPublished (publisher PDF)1.85 MBAdobe PDFView/Open


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