Controlling Reversibility in Higher-Order Pi

  title={Controlling Reversibility in Higher-Order Pi},
  author={Ivan Lanese and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
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 lowerlevel… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 11 references

Similar Papers

Loading similar papers…