scientific article; zbMATH DE number 7269252
From MaRDI portal
Publication:5129948
Claudio Antares Mezzina, Hernán Melgratti, Irek Ulidowski
Publication date: 3 November 2020
Full work available at URL: https://arxiv.org/abs/1910.04266
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Modelling of DNA mismatch repair with a reversible process calculus ⋮ Controlled reversibility in communicating reaction systems ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Towards a taxonomy for reversible computation approaches ⋮ An axiomatic approach to reversible computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Unnamed Item ⋮ A Petri net view of covalent bonds ⋮ Formal translation from reversing Petri nets to coloured Petri nets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reversibility in the higher-order \(\pi\)-calculus
- Causal-consistent rollback in a tuple-based language
- Reversibility and asymmetric conflict in event structures
- Petri nets, event structures and domains. I
- Cauder: a causal-consistent reversible debugger for Erlang
- Reversing steps in membrane systems computations
- Reversible computation in Petri nets
- Checkpoint/rollback vs causally-consistent reversibility
- Towards a formal account for software transactional memory
- An axiomatic approach to reversible computation
- A parametric framework for reversible \(\pi\)-calculi
- Reversing algebraic process calculi
- Rigid Families for CCS and the $$\pi $$ -calculus
- Reverse Code Generation for Parallel Discrete Event Simulation
- Reversibility and Models for Concurrency
- Controlling Reversibility in Higher-Order Pi
- The unfolding of general Petri nets
- A Calculus for Local Reversibility
- Reversible Computation vs. Reversibility in Petri Nets
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- A formal approach to undo operations in programming languages
- Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits
- Reversible Imperative Parallel Programs and Debugging
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Event structure semantics of (controlled) reversible CCS
This page was built for publication:
