Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Reversibility in the higher-order π-calculus

Abstract : The notion of reversible computation is attracting increasing interest because of its applications in diverse fields, in particular the study of programming abstractions for reliable systems. In this paper, we continue the study un-dertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order π-calculus, called rhoπ. We prove that reversibility in our cal-culus is causally consistent and that the causal information used to support reversibility in rhoπ is consistent with the one used in the causal semantics of the π-calculus developed by Boreale and Sangiorgi. Finally, we show that one can faithfully encode rhoπ into a variant of higher-order π, substantially improving on the result we obtained in the conference version of this paper.
Complete list of metadata

Cited literature [72 references]  Display  Hide  Download

https://hal.inria.fr/hal-01081714
Contributor : Jean-Bernard Stefani Connect in order to contact the contributor
Submitted on : Monday, November 10, 2014 - 4:13:12 PM
Last modification on : Thursday, October 21, 2021 - 3:48:39 AM
Long-term archiving on: : Wednesday, February 11, 2015 - 3:38:20 PM

File

journal-rhopi.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01081714, version 1

Collections

`

Citation

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. Reversibility in the higher-order π-calculus. 2014. ⟨hal-01081714⟩

Share

Metrics

Record views

734

Files downloads

432