Apr 25, 2016 · We prove that reversibility in our calculus is causally consistent and that the causal information used to support reversibility in rho π is ...
Apr 15, 2016 · In this paper, we continue the study un- dertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order π-calculus, ...
In this paper, we continue the study undertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order π-calculus, called rho π . We prove ...
[PDF] Reversibility in the higher-order π-calculus | Semantic Scholar
www.semanticscholar.org › paper
A uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name, ...
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 ...
Abstract. We present in this paper a fine-grained rollback primitive for the higher-order π-calculus (HOπ), that builds on the reversibility.
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π [ ...
Aug 15, 2024 · In this paper, we present croll-π, a concurrent calculus featuring flexible reversibility, allowing the specification ... [Show full abstract] ...
Reversibility in the higher-order π-calculus. Authors. Abramov · Abramsky; +78 more; Akgul · Altenkirch · Avizienis · Balzer · Barendregt · Bennett · Bennett ...
People also ask
What is π-calculus?
What is the difference between pi calculus and lambda calculus?
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π [