Publications

BibTex format

@inproceedings{Graversen:2017:10.4204/EPTCS.246.9,
author = {Graversen, E and Phillips, ICC and Yoshida, N},
doi = {10.4204/EPTCS.246.9},
pages = {49--60},
publisher = {Open Publishing Association},
title = {Towards a categorical representation of reversible event structures},
url = {http://dx.doi.org/10.4204/EPTCS.246.9},
year = {2017}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We  study  categories  for  reversible  computing,  focussing  on  reversible  forms  of  event  structures.Event structures are a well-established model of true concurrency.  There exist a number of formsof event structures, including prime event structures, asymmetric event structures, and general eventstructures.   More  recently,  reversible  forms  of  these  types  of  event  structures  have  been  defined.We formulate corresponding categories and functors between them.  We show that products and co-products exist in many cases.  In most work on reversible computing, including reversible processcalculi, a cause-respecting condition is posited, meaning that the cause of an event may not be re-versed before the event itself. Since reversible event structures are not assumed to be cause-respectingin general, we also define cause-respecting subcategories of these event structures. Our longer-termaim is to formulate event structure semantics for reversible process calculi.
AU  - Graversen,E
AU  - Phillips,ICC
AU  - Yoshida,N
DO  - 10.4204/EPTCS.246.9
EP  - 60
PB  - Open Publishing Association
PY  - 2017///
SN  - 2075-2180
SP  - 49
TI  - Towards a categorical representation of reversible event structures
UR  - http://dx.doi.org/10.4204/EPTCS.246.9
UR  - http://hdl.handle.net/10044/1/45528
ER  -

Download

DrIainPhillips

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)