Reversing Single Sessions
File(s)paper.pdf (368.41 KB)
Accepted version
Author(s)
Tiezzi, F
Yoshida, N
Type
Conference Paper
Abstract
Session-based communication has gained a widespread acceptance in practice as a means for developing safe communicating systems via structured interactions. In this paper, we investigate how these structured interactions are affected by reversibility, which provides a computational model allowing executed interactions to be undone. In particular, we provide a systematic study of the integration of different notions of reversibility in both binary and multiparty single sessions. The considered forms of reversibility are: one for completely reversing a given session with one backward step, and another for also restoring any intermediate state of the session with either one backward step or multiple ones. We analyse the costs of reversing a session in all these different settings. Our results show that extending binary single sessions to multiparty ones does not affect the reversibility machinery and its costs.
Date Issued
2016-07-08
Date Acceptance
2016-04-19
Citation
Lecture Notes in Computer Science, 2016, 9720, pp.52-69
ISBN
978-3-319-40577-3
ISSN
0302-9743
Publisher
Springer International Publishing
Start Page
52
End Page
69
Journal / Book Title
Lecture Notes in Computer Science
Volume
9720
Copyright Statement
© Springer Verlag 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-40578-0_4
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Commission of the European Communities
Grant Number
ERI 025567 (EP/K034413/1)
PO 1553380
EP/K011715/1
612985
Source
8th International Conference on Reversible Computation (RC 2016)
Subjects
Artificial Intelligence & Image Processing
Information And Computing Sciences
Publication Status
Published
Start Date
2016-07-07
Finish Date
2016-07-08
Coverage Spatial
Bologna, Italy