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

@inproceedings{Graversen:2018:10.1007/978-3-319-99498-7_7,
author = {Graversen, E and Phillips, ICC and Yoshida, N},
doi = {10.1007/978-3-319-99498-7_7},
publisher = {Springer Verlag},
title = {Event structure semantics of (controlled) reversible CCS},
url = {http://dx.doi.org/10.1007/978-3-319-99498-7_7},
year = {2018}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - CCSK is a reversible form of CCS which is causal, meaning that ac-tions can be reversed if and only if each action caused by them has already beenreversed; there is no control on whether or when a computation reverses. We pro-pose an event structure semantics for CCSK. For this purpose we define a cat-egory of reversible bundle event structures, and use the causal subcategory tomodel CCSK. We then modify CCSK to control the reversibility with a rollbackprimitive, which reverses a specific action and all actions caused by it. To definethe event structure semantics of rollback, we change our reversible bundle eventstructures by making the conflict relation asymmetric rather than symmetric, andwe exploit their capacity for non-causal reversibility.
AU  - Graversen,E
AU  - Phillips,ICC
AU  - Yoshida,N
DO  - 10.1007/978-3-319-99498-7_7
PB  - Springer Verlag
PY  - 2018///
SN  - 0302-9743
TI  - Event structure semantics of (controlled) reversible CCS
UR  - http://dx.doi.org/10.1007/978-3-319-99498-7_7
UR  - https://link.springer.com/chapter/10.1007%2F978-3-319-99498-7_7
UR  - http://hdl.handle.net/10044/1/60757
ER  -
Download