Publications

BibTex format

@article{Ulidowski:2018:10.1007/s00354-018-0040-8,
author = {Ulidowski, I and Phillips, ICC and Yuen, S},
doi = {10.1007/s00354-018-0040-8},
journal = {New Generation Computing},
pages = {281--306},
title = {Reversing event structures},
url = {http://dx.doi.org/10.1007/s00354-018-0040-8},
volume = {36},
year = {2018}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - 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.
AU  - Ulidowski,I
AU  - Phillips,ICC
AU  - Yuen,S
DO  - 10.1007/s00354-018-0040-8
EP  - 306
PY  - 2018///
SN  - 0288-3635
SP  - 281
TI  - Reversing event structures
T2  - New Generation Computing
UR  - http://dx.doi.org/10.1007/s00354-018-0040-8
UR  - http://hdl.handle.net/10044/1/62877
VL  - 36
ER  -

Download

DrIainPhillips

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)