relation: http://eprints.imtlucca.it/2488/
title: Reversing higher-order pi
creator: Lanese, Ivan
creator: Mezzina, Claudio Antares
creator: Stefani, Jean-Bernard
subject: QA75 Electronic computers. Computer science
description: 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π.
publisher: Springer
date: 2010
type: Book Section
type: PeerReviewed
identifier:   Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard  Reversing higher-order pi.   In:  CONCUR 2010 - Concurrency Theory.   Lecture Notes in Computer Science  (6269).  Springer, pp. 478-493.  ISBN 978-3-642-15375-4      (2010)  
relation: http://dx.doi.org/10.1007/978-3-642-15375-4_33
relation: 10.1007/978-3-642-15375-4_33