Reversing Higher-Order Pi
DOI10.1007/978-3-642-15375-4_33zbMATH Open1287.68137OpenAlexW1515127800MaRDI QIDQ3584950FDOQ3584950
Authors: Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani 
Publication date: 31 August 2010
Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_33
Recommendations
- Reverse Mathematics and Π12 Comprehension
- Controlling Reversibility in Higher-Order Pi
- On computing pi-coefficients
- scientific article; zbMATH DE number 2236640
- Order of magnitude of the PI index
- scientific article; zbMATH DE number 2094813
- Extended pi-Calculi
- A Look Around the Corner: The Pi-Calculus
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (45)
- Reversible computation in nets with bonds
- Specifying reversibility with \(\mathrm{TLA}^+\)
- A verification technique for reversible process algebra
- Causal-consistent reversibility
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversibility in the higher-order \(\pi\)-calculus
- Reverse Mathematics and Π12 Comprehension
- Event structures for the reversible early internal \(\pi\)-calculus
- Implementation of a reversible distributed calculus
- Towards modelling of local reversibility
- Reversible sessions with flexible choices
- Rigid families for the reversible \(\pi \)-calculus
- A calculus for local reversibility
- Foundations of Software Science and Computation Structures
- Mutual exclusion and reversibility in reaction systems
- Static versus dynamic reversibility in CCS
- Towards a categorical representation of reversible event structures
- Reversibility in session-based concurrency: a fresh look
- Controlled Reversibility and Compensations
- Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
- A parametric framework for reversible \(\pi\)-calculi
- En garde! Unguarded iteration for reversible computation in the delay monad
- A compositional semantics for the reversible \(\pi\)-calculus
- Title not available (Why is that?)
- Reversible client/server interactions
- Modelling of DNA mismatch repair with a reversible process calculus
- Reversible computation vs. reversibility in Petri nets
- Reversible session-based pi-calculus
- Reversibility and asymmetric conflict in event structures
- Investigating reversibility of steps in Petri nets
- Relative expressiveness of calculi for reversible concurrency
- Concurrent reversible sessions
- Reversing algebraic process calculi
- Event structure semantics of (controlled) reversible CCS
- Reversibility and Predictions
- Contextual equivalences in configuration structures and reversibility
- Controlling Reversibility in Higher-Order Pi
- Reversing Steps in Petri Nets
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- \textsf{cJoin}: \textsf{Join} with communicating transactions
- Causal-consistent rollback in a tuple-based language
- Causal reversibility implies time reversibility
- Reversing single sessions
- Reversible multiparty sessions with checkpoints
- Towards bridging time and causal reversibility
This page was built for publication: Reversing Higher-Order Pi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584950)
