Reversing algebraic process calculi
From MaRDI portal
Publication:2643334
DOI10.1016/j.jlap.2006.11.002zbMath1123.68065OpenAlexW2059141487MaRDI QIDQ2643334
Publication date: 23 August 2007
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2006.11.002
structural operational semanticsreversible computationCCS with keyscongruence resultformats of SOS rulesforward-reverse bisimulation
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (58)
Reversibility in the higher-order \(\pi\)-calculus ⋮ One-way reversible multi-head finite automata ⋮ A hierarchy of reverse bisimulations on stable configuration structures ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Towards Bridging Time and Causal Reversibility ⋮ One-Way Reversible Multi-head Finite Automata ⋮ A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway ⋮ Reversible client/server interactions ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ A Calculus for Local Reversibility ⋮ Static VS Dynamic Reversibility in CCS ⋮ Reversing Single Sessions ⋮ Reversible Computation vs. Reversibility in Petri Nets ⋮ Contextual equivalences in configuration structures and reversibility ⋮ The reversible temporal process language ⋮ Quantitative Analysis of Concurrent Reversible Computations ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Reversibility and asymmetric conflict in event structures ⋮ Reverse bisimilarity vs. forward bisimilarity ⋮ Fundamentals of reversible flowchart languages ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Reversing Steps in Petri Nets ⋮ Replications in reversible concurrent calculi ⋮ Towards a taxonomy for reversible computation approaches ⋮ revTPL: The Reversible Temporal Process Language ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ An axiomatic approach to reversible computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Unnamed Item ⋮ Reversible session-based pi-calculus ⋮ Imaginary groups: lazy monoids and reversible computation ⋮ Reversible computation in nature inspired rule-based systems ⋮ Causal-consistent rollback in a tuple-based language ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Reversible pushdown automata ⋮ Event Identifier Logic ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A theory of reversibility for Erlang ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Towards Modelling of Local Reversibility ⋮ Unnamed Item ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ A Petri net view of covalent bonds ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices ⋮ Concurrencies in reversible concurrent calculi ⋮ Towards causal-consistent reversibility of imperative concurrent programs ⋮ Investigating Reversibility of Steps in Petri Nets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A partial ordering semantics for CCS
- Structured operational semantics and bisimulation as a congruence
- Flow models of distributed computations: Three equivalent semantics for CCS
- A structural approach to operational semantics
- A structural approach to reversible computation
- Irreversibility and Heat Generation in the Computing Process
- Process Algebra
- Functions as processes
- Communicating sequential processes
- CONCUR 2004 - Concurrency Theory
- Foundations of Software Science and Computational Structures
- CONCUR 2005 – Concurrency Theory
- Foundations of Software Science and Computation Structures
- Refinement of actions and equivalence notions for concurrent systems
This page was built for publication: Reversing algebraic process calculi
