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 pi-calculus (HOpi). We prove that reversibility in our calculus is causally consistent and that one can encode faithfully reversible HOpi into a variant of HOpi.

Reversing Higher-Order Pi

LANESE, IVAN;
2010

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 undertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order pi-calculus (HOpi). We prove that reversibility in our calculus is causally consistent and that one can encode faithfully reversible HOpi into a variant of HOpi.
Proceedings of the 21th International Conference on Concurrency Theory - CONCUR 2010
478
493
I. LANESE; C. A. MEZZINA; J. STEFANI
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11585/104477
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 72
  • ???jsp.display-item.citation.isi??? 54
social impact