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{Tiezzi:2015:10.1016/j.jlamp.2015.03.004,
author = {Tiezzi, F and Yoshida, N},
doi = {10.1016/j.jlamp.2015.03.004},
journal = {Journal of Logical and Algebraic Methods in Programming},
pages = {684--707},
title = {Reversible Session-Based Pi-Calculus},
url = {http://dx.doi.org/10.1016/j.jlamp.2015.03.004},
volume = {84},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect of previously executed interactions. This permits to take different computation paths along the same session, as well as to revert the whole session and start a new one. Our aim is to define a theoretical basis for examining the interplay in concurrent systems between reversible computation and session-based interaction. We thus propose ReSπ a session-based variant of π-calculus using memory devices to keep track of the computation history of sessions in order to reverse it. We show how a session type discipline of π-calculus is extended to ReSπ, and illustrate its practical advantages for static verification of safe composition in communication-centric distributed software performing reversible computations. We also show how a fully reversible characterisation of the calculus extends to committable sessions, where computation can go forward and backward until the session is committed by means of a specific irreversible action.
AU  - Tiezzi,F
AU  - Yoshida,N
DO  - 10.1016/j.jlamp.2015.03.004
EP  - 707
PY  - 2015///
SN  - 2352-2208
SP  - 684
TI  - Reversible Session-Based Pi-Calculus
T2  - Journal of Logical and Algebraic Methods in Programming
UR  - http://dx.doi.org/10.1016/j.jlamp.2015.03.004
UR  - http://hdl.handle.net/10044/1/23579
VL  - 84
ER  -
Download