Ulidowski2018_Article_ReversingEventStructures.pdf (1.81 MB)
Download file

Reversing Event Structures

Download (1.81 MB)
journal contribution
posted on 2019-07-15, 11:06 authored by I Ulidowski, I Phillips, S Yuen
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.

Funding

JSPS KAKENHI Grant-in-Aid for Scientific Research(B) number 17H01722

History

Citation

New Generation Computing, 2018, 36 (3), pp. 281-306 (26)

Author affiliation

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

Version

VoR (Version of Record)

Published in

New Generation Computing

Publisher

Springer Verlag

issn

0288-3635

eissn

1882-7055

Acceptance date

2018-07-25

Copyright date

2018

Available date

2019-07-15

Language

en