Reversing event structures
File(s)
Published version
Author(s)
Ulidowski, Irek
Phillips, ICC
Yuen, Shoji
Type
Journal Article
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.
Date Issued
2018-07-31
Date Acceptance
2018-07-25
Citation
New Generation Computing, 2018, 36 (3), pp.281-306
ISSN
0288-3635
Publisher
Springer Verlag
Start Page
281
End Page
306
Journal / Book Title
New Generation Computing
Volume
36
Issue
3
Copyright Statement
© The Author(s) 2018. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Subjects
0801 Artificial Intelligence And Image Processing
0803 Computer Software
1702 Cognitive Science
Information Systems
Publication Status
Published
Date Publish Online
2018-08-24