<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Reversing higher-order pi"^^ . "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π."^^ . "2010" . "6269" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . "Claudio Antares"^^ . "Mezzina"^^ . "Claudio Antares Mezzina"^^ . . "Jean-Bernard"^^ . "Stefani"^^ . "Jean-Bernard Stefani"^^ . . . . . "HTML Summary of #2488 \n\nReversing higher-order pi\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .