2010 | OriginalPaper | Buchkapitel
Reversing Higher-Order Pi
verfasst von : Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Erschienen in: CONCUR 2010 - Concurrency Theory
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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 (HO
π
). We prove that reversibility in our calculus is causally consistent and that one can encode faithfully reversible HO
π
into a variant of HO
π
.