relation: http://eprints.imtlucca.it/2489/
title: Controlling reversibility in higher-order pi
creator: Lanese, Ivan
creator: Mezzina, Claudio Antares
creator: Schmitt, Alan
creator: Stefani, Jean-Bernard
subject: QA75 Electronic computers. Computer science
description: We present in this paper a fine-grained rollback primitive for the higher-order π-calculus (HOπ), that builds on the reversibility apparatus of reversible HOπ [9]. The definition of a proper semantics for such a primitive is a surprisingly delicate matter because of the potential interferences between concurrent rollbacks. We define in this paper a high-level operational semantics which we prove sound and complete with respect to reversible HOπ backward reduction. We also define a lower-level distributed semantics, which is closer to an actual implementation of the rollback primitive, and we prove it to be fully abstract with respect to the high-level semantics.
publisher: Springer
date: 2011
type: Book Section
type: PeerReviewed
identifier:   Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard  Controlling reversibility in higher-order pi.   In:  CONCUR 2011 – Concurrency Theory.   Lecture Notes in Computer Science  (6901).  Springer, pp. 297-311.  ISBN 978-3-642-23217-6      (2011)  
relation: http://dx.doi.org/10.1007/978-3-642-23217-6_20
relation: 10.1007/978-3-642-23217-6_20