An axiomatic approach to reversible computation
From MaRDI portal
(Redirected from Publication:2200840)
Recommendations
Cites work
- scientific article; zbMATH DE number 4020506 (Why is no real title available?)
- scientific article; zbMATH DE number 7269252 (Why is no real title available?)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- A compositional semantics for the reversible \(\pi\)-calculus
- A modular formalization of reversibility for concurrent models and languages
- A theory of reversibility for Erlang
- An axiomatic approach to reversible computation
- CONCUR 2004 - Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Causal-consistent reversibility
- Causal-consistent rollback in a tuple-based language
- Controlling Reversibility in Higher-Order Pi
- Foundations of Software Science and Computation Structures
- General reversibility
- Irreversibility and Heat Generation in the Computing Process
- Logical Reversibility of Computation
- Models for concurrency: Towards a classification
- On reversibility and broadcast
- Reversibility and asymmetric conflict in event structures
- Reversibility and models for concurrency
- Reversibility in the higher-order \(\pi\)-calculus
- Reversible computation vs. reversibility in Petri nets
- Reversing algebraic process calculi
- The difference between splitting in \(n\) and \(n+1\)
Cited in
(31)- Towards causal-consistent reversibility of imperative concurrent programs
- A Design-Based Model of Reversible Computation
- Replications in reversible concurrent calculi
- revTPL: The Reversible Temporal Process Language
- The correctness of concurrencies in (reversible) concurrent calculi
- Transactions on Computational Science XXIV. Special issue on reversible computing.
- A unification of probabilistic choice within a design-based model of reversible computation
- Logical Approaches to Computational Barriers
- The reversible temporal process language
- A collective interpretation semantics for reversing Petri nets
- Token multiplicity in reversing Petri nets under the individual token interpretation
- Quantitative Analysis of Concurrent Reversible Computations
- An axiomatic theory for reversible computation
- Concurrencies in reversible concurrent calculi
- Causal reversibility implies time reversibility
- Reversibility in Erlang: imperative constructs
- A structural approach to reversible computation
- scientific article; zbMATH DE number 7269252 (Why is no real title available?)
- Periodicity and Immortality in Reversible Computing
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives
- Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
- Event structures for the reversible early internal \(\pi\)-calculus
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversibility in space-bounded computation
- An axiomatic approach to reversible computation
- Controlled reversibility in communicating reaction systems
- A theory of reversibility for Erlang
- Modelling of DNA mismatch repair with a reversible process calculus
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
This page was built for publication: An axiomatic approach to reversible computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200840)
