Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Graversen:2019:10.1016/j.jlamp.2019.01.001,
author = {Graversen, E and Phillips, I and Yoshida, N},
doi = {10.1016/j.jlamp.2019.01.001},
journal = {Journal of Logical and Algebraic Methods in Programming},
pages = {16--59},
title = {Towards a categorical representation of reversible event structures},
url = {http://dx.doi.org/10.1016/j.jlamp.2019.01.001},
volume = {104},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
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 forms of event structures, including prime event structures, asymmetric event structures, and general event structures. More recently, reversible forms of these types of event structure have been defined. We formulate corresponding categories and functors between them. We show that products and coproducts exist in many cases.We define stable reversible general event structures and stable configuration systems, and we obtain an isomorphism between the subcategory of the former in normal form and the finitely enabled subcategory of the latter. In most work on reversible computing, including reversible process calculi, a causality condition is posited, meaning that the cause of an event may not be reversed before the event itself. Since reversible event structures are not assumed to be causal in general, we also define causal subcategories of these event structures.Keywords: reversible computation, reversible event structures, category theory
AU  - Graversen,E
AU  - Phillips,I
AU  - Yoshida,N
DO  - 10.1016/j.jlamp.2019.01.001
EP  - 59
PY  - 2019///
SN  - 2352-2208
SP  - 16
TI  - Towards a categorical representation of reversible event structures
T2  - Journal of Logical and Algebraic Methods in Programming
UR  - http://dx.doi.org/10.1016/j.jlamp.2019.01.001
UR  - http://hdl.handle.net/10044/1/65730
VL  - 104
ER  -
Download