Event structure semantics of (controlled) reversible CCS
File(s)
Author(s)
Graversen, E
Phillips, ICC
Yoshida, N
Type
Conference Paper
Abstract
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 been
reversed; 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 to
model CCSK. We then modify CCSK to control the reversibility with a rollback
primitive, which reverses a specific action and all actions caused by it. To define
the event structure semantics of rollback, we change our reversible bundle event
structures by making the conflict relation asymmetric rather than symmetric, and
we exploit their capacity for non-causal reversibility.
tions can be reversed if and only if each action caused by them has already been
reversed; 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 to
model CCSK. We then modify CCSK to control the reversibility with a rollback
primitive, which reverses a specific action and all actions caused by it. To define
the event structure semantics of rollback, we change our reversible bundle event
structures by making the conflict relation asymmetric rather than symmetric, and
we exploit their capacity for non-causal reversibility.
Date Issued
2018-08-22
Date Acceptance
2018-05-29
Citation
Lecture Notes in Computer Science, 2018
ISSN
0302-9743
Publisher
Springer Verlag
Journal / Book Title
Lecture Notes in Computer Science
Copyright Statement
© Springer Nature Switzerland AG 2018. The final publication is available at Springer via https://doi.org/10.1007/978-3-319-99498-7_7
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (E
Identifier
https://link.springer.com/chapter/10.1007%2F978-3-319-99498-7_7
Grant Number
ERI 025567 (EP/K034413/1)
20104124
EP/K011715/1
EP/N027833/1
20103649
Source
Tenth International Conference on Reversible Computation
Subjects
Artificial Intelligence & Image Processing
Publication Status
Published
Start Date
2018-09-13
Finish Date
2018-09-14
Coverage Spatial
Leicester
Date Publish Online
2018-08-22