Skip to Main content Skip to Navigation
Journal articles

Static versus Dynamic Reversibility in CCS

Ivan Lanese 1 Doriana Medić 1 Claudio Antares Mezzina 2 
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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. Most computational models are not naturally reversible since computation causes loss of information, and history information must be stored to enable reversibility. In the literature, two approaches to reverse the CCS process calculus exist, differing on how history information is kept. Reversible CCS (RCCS), proposed by Danos and Krivine, exploits dedicated stacks of memories attached to each thread. CCS with Keys (CCSK), proposed by Phillips and Ulidowski, makes CCS operators static so that computation does not cause information loss. In this paper we show that RCCS and CCSK are equivalent in terms of LTS isomorphism.
Complete list of metadata
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Thursday, September 9, 2021 - 12:42:36 AM
Last modification on : Friday, July 8, 2022 - 10:07:40 AM
Long-term archiving on: : Friday, December 10, 2021 - 6:10:46 PM


Files produced by the author(s)




Ivan Lanese, Doriana Medić, Claudio Antares Mezzina. Static versus Dynamic Reversibility in CCS. Acta Informatica, Springer Verlag, 2021, ⟨10.1007/s00236-019-00346-6⟩. ⟨hal-03338675⟩



Record views


Files downloads