Controlling Reversibility in Higher-Order Pi

DOI10.1007/978-3-642-23217-6_20zbMath1344.68168OpenAlexW1557052422MaRDI QIDQ3090837

Jean-Bernard Stefani, Ivan Lanese, Alan Schmitt, Claudio Antares Mezzina

Publication date: 2 September 2011

Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_20

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (35)

Reversibility in the higher-order \(\pi\)-calculus ⋮ Reversibility in session-based concurrency: a fresh look ⋮ A Verification Technique for Reversible Process Algebra ⋮ A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway ⋮ Controlled Reversibility and Compensations ⋮ Reversible client/server interactions ⋮ A Calculus for Local Reversibility ⋮ Reversing Single Sessions ⋮ Controlled reversibility in communicating reaction systems ⋮ The reversible temporal process language ⋮ Reversible computation in nets with bonds ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Reversing Unbounded Petri Nets ⋮ Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language ⋮ Causal-consistent replay debugging for message passing programs ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ An axiomatic approach to reversible computation ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Unnamed Item ⋮ Reversible session-based pi-calculus ⋮ Causal-consistent rollback in a tuple-based language ⋮ Causal-Consistent Debugging of Distributed Erlang Programs ⋮ Reversibility and Predictions ⋮ Unnamed Item ⋮ A theory of reversibility for Erlang ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Towards Modelling of Local Reversibility ⋮ Unnamed Item ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices

Uses Software

• Transactors

Cites Work

• Reversibility in the higher-order \(\pi\)-calculus
• Abstractions for fault-tolerant global computing
• Lightweight checkpointing for concurrent ML
• Reversing Higher-Order Pi
• A formal approach to undo operations in programming languages
• Transactors
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Controlling Reversibility in Higher-Order Pi