TY  - CHAP
TI  - Static VS Dynamic Reversibility in CCS
SP  - 36
T3  - Lecture Notes in Computer Science
N2  - The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Reversible CCS (RCCS), proposed by Danos and Krivine, enacts reversibility by means of memory stacks. Ulidowski and Phillips proposed a general method to reverse a process calculus given in a particular SOS format, by exploiting the idea of making all the operators of a calculus static. CCSK is then derived from CCS with this method. In this paper we show that RCCS is at least as expressive as CCSK.
ID  - eprints3514
EP  - 51
SN  - 978-3-319-40577-3
AV  - none
T2  - Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
PB  - Springer
A1  - Medic, Doriana
A1  - Mezzina, Claudio Antares
UR  - http://dx.doi.org/10.1007/978-3-319-40578-0_3
Y1  - 2016///
ER  -