Reversibility in the higher-order π-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2016

Reversibility in the higher-order π-calculus

Résumé

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 undertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order π-calculus, called rhoπ. We prove that reversibility in our calculus 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.
Fichier principal
Vignette du fichier
journal-rhopi.pdf (787.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01303090 , version 1 (15-04-2016)

Identifiants

Citer

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. Reversibility in the higher-order π-calculus. Theoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩. ⟨hal-01303090⟩

Relations

165 Consultations
178 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More