<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Controlling reversibility in higher-order pi"^^ . "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."^^ . "2011" . "6901" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Claudio Antares"^^ . "Mezzina"^^ . "Claudio Antares Mezzina"^^ . . "Alan"^^ . "Schmitt"^^ . "Alan Schmitt"^^ . . "Jean-Bernard"^^ . "Stefani"^^ . "Jean-Bernard Stefani"^^ . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . . . . "HTML Summary of #2489 \n\nControlling reversibility in higher-order pi\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .