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

(45)

• Towards bridging time and causal reversibility
• Reversible computation in nets with bonds
• Specifying reversibility with \(\mathrm{TLA}^+\)
• A verification technique for reversible process algebra
• Reversibility in the higher-order \(\pi\)-calculus
• Causal-consistent reversibility
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Reverse Mathematics and Π¹₂ 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
• A parametric framework for reversible \(\pi\)-calculi
• Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
• En garde! Unguarded iteration for reversible computation in the delay monad
• Reversible client/server interactions
• A compositional semantics for the reversible \(\pi\)-calculus
• Modelling of DNA mismatch repair with a reversible process calculus
• scientific article; zbMATH DE number 7559463 (Why is no real title available?)
• Reversible session-based pi-calculus
• Reversibility and asymmetric conflict in event structures
• Reversible computation vs. reversibility in Petri nets
• Investigating reversibility of steps in Petri nets
• Relative expressiveness of calculi for reversible concurrency
• Concurrent reversible sessions
• Reversing algebraic process calculi
• Contextual equivalences in configuration structures and reversibility
• Event structure semantics of (controlled) reversible CCS
• Controlling Reversibility in Higher-Order Pi
• Reversibility and Predictions
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Steps in Petri Nets
• Causal-consistent rollback in a tuple-based language
• \textsf{cJoin}: \textsf{Join} with communicating transactions
• Reversing single sessions
• Causal reversibility implies time reversibility
• Reversible multiparty sessions with checkpoints

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)