Reversing Higher-Order Pi

DOI10.1007/978-3-642-15375-4_33MaRDI QIDQ3584950zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reverse Mathematics and Π¹₂ 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

Cited in

(50)

• Mutual exclusion and reversibility in reaction systems
• Static versus dynamic reversibility in CCS
• Modelling of DNA mismatch repair with a reversible process calculus
• En garde! Unguarded iteration for reversible computation in the delay monad
• Specifying reversibility with \(\mathrm{TLA}^+\)
• A parametric framework for reversible \(\pi\)-calculi
• Reversible sessions with flexible choices
• Reversibility in session-based concurrency: a fresh look
• Towards a categorical representation of reversible event structures
• Reversing algebraic process calculi
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible computation in nets with bonds
• Towards modelling of local reversibility
• Controlling Reversibility in Higher-Order Pi
• Reversible client/server interactions
• Rigid families for the reversible -calculus
• A calculus for local reversibility
• Reversing single sessions
• Reversible computation vs. reversibility in Petri nets
• A verification technique for reversible process algebra
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Controlled Reversibility and Compensations
• Contextual equivalences in configuration structures and reversibility
• Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
• Reversible session-based pi-calculus
• Causal-consistent reversibility
• Reversible multiparty sessions with checkpoints
• Investigating reversibility of steps in Petri nets
• Towards bridging time and causal reversibility
• scientific article; zbMATH DE number 7559463 (Why is no real title available?)
• Concurrent reversible sessions
• Causal-consistent rollback in a tuple-based language
• Reversibility and Predictions
• Relative expressiveness of calculi for reversible concurrency
• A compositional semantics for the reversible -calculus
• Reverse Mathematics and Π¹₂ Comprehension
• \textsf{cJoin}: \textsf{Join} with communicating transactions
• Foundations of Software Science and Computation Structures
• Event structure semantics of (controlled) reversible CCS
• Event structures for the reversible early internal \(\pi\)-calculus
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Reversing Steps in Petri Nets
• Implementation of a reversible distributed calculus
• Causal reversibility implies time reversibility
• Expansion laws for forward-reverse, forward, and reverse bisimilarities via proved encodings
• CRIL: a concurrent reversible intermediate language
• Checkpoint-based rollback recovery in session programming
• Reversible computations are computations
• On reversibility in Petri nets
• Reversibility and asymmetric conflict in event structures

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)