Static versus dynamic reversibility in CCS
From MaRDI portal
Publication:2022303
DOI10.1007/S00236-019-00346-6zbMath1475.68126OpenAlexW2987291980WikidataQ126830393 ScholiaQ126830393MaRDI QIDQ2022303
Claudio Antares Mezzina, Ivan Lanese, Doriana Medić
Publication date: 28 April 2021
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11585/739195
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other nonclassical models of computation (68Q09)
Related Items (11)
Towards Bridging Time and Causal Reversibility ⋮ The reversible temporal process language ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ revTPL: The Reversible Temporal Process Language ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Unnamed Item ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Concurrencies in reversible concurrent calculi
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reversibility in the higher-order \(\pi\)-calculus
- Contextual equivalences in configuration structures and reversibility
- Causal-consistent rollback in a tuple-based language
- A calculus of communicating systems
- Flow models of distributed computations: Three equivalent semantics for CCS
- Parallel product of event structures
- Cauder: a causal-consistent reversible debugger for Erlang
- A parametric framework for reversible \(\pi\)-calculi
- Reversing algebraic process calculi
- Towards Modelling of Local Reversibility
- Self-assembling Trees
- Reversibility and Models for Concurrency
- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
- Rigid Families for the Reversible $$\pi $$ -Calculus
- A Calculus for Local Reversibility
- Static VS Dynamic Reversibility in CCS
- A Verification Technique for Reversible Process Algebra
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Reversing Higher-Order Pi
- Irreversibility and Heat Generation in the Computing Process
- A fully abstract semantics for causality in the π-calculus
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
- Concurrent Flexible Reversibility
- CONCUR 2005 – Concurrency Theory
- Event structure semantics of (controlled) reversible CCS
This page was built for publication: Static versus dynamic reversibility in CCS
