Controlling Reversibility in Higher-Order Pi
From MaRDI portal
Recommendations
- Reversibility in the higher-order \(\pi\)-calculus
- Controlled Reversibility and Compensations
- Reversing Higher-Order Pi
- Using DDs in the design of reversible circuits
- Generalized PI controllability
- Integrability via reversibility
- Reversibility and regularity
- scientific article; zbMATH DE number 65818
- Fast control for reversible processors
- Controlled reversibility in reaction systems
Cites work
- A formal approach to undo operations in programming languages
- Abstractions for fault-tolerant global computing
- CONCUR 2004 - Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Lightweight checkpointing for concurrent ML
- Reversibility in the higher-order \(\pi\)-calculus
- Reversing Higher-Order Pi
- Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
Cited in
(45)- A theory of reversibility for Erlang
- Checkpoint/rollback vs causally-consistent reversibility
- Controlled reversibility in communicating reaction systems
- The reversible temporal process language
- An axiomatic approach to reversible computation
- A parametric framework for reversible \(\pi\)-calculi
- Reversible sessions with flexible choices
- Reversibility in session-based concurrency: a fresh look
- Reversibility in the higher-order \(\pi\)-calculus
- Reversible computation in nets with bonds
- A collective interpretation semantics for reversing Petri nets
- Towards modelling of local reversibility
- Reversible client/server interactions
- A calculus for local reversibility
- Reversing single sessions
- A verification technique for reversible process algebra
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Controlled Reversibility and Compensations
- Reversing Higher-Order Pi
- Reversible session-based pi-calculus
- Causal-consistent replay reversible semantics for message passing concurrent programs
- Reversible multiparty sessions with checkpoints
- scientific article; zbMATH DE number 7471661 (Why is no real title available?)
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- Concurrent reversible sessions
- Reversing place transition nets
- Causal-consistent rollback in a tuple-based language
- Causal-Consistent Debugging of Distributed Erlang Programs
- Reversibility and Predictions
- Modular rollback through control logging: a pair of twin functional pearls
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- Concurrent flexible reversibility
- Event structure semantics of (controlled) reversible CCS
- 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 theory for reversible computation
- Causal debugging for concurrent systems
- Reversibility with holes (work in progress)
- Encoding choice and replication in \(\mathbf{roll}\text{-}\pi \)
- Checkpoint-based rollback recovery in session programming
- Reversible computations are computations
- Reversibility and asymmetric conflict in event structures
This page was built for publication: Controlling Reversibility in Higher-Order Pi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090837)
