Towards a taxonomy for reversible computation approaches
From MaRDI portal
(Redirected from Publication:6148104)
Recommendations
Cites work
- \(\mathsf{CoreFun}\): a typed functional reversible core language
- A categorical theory of patches
- A class of recursive permutations which is primitive recursive complete
- A collective interpretation semantics for reversing Petri nets
- A compositional semantics for the reversible -calculus
- A Petri net view of covalent bonds
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- A simple and efficient universal reversible Turing machine
- A structural approach to reversible computation
- A theory of reversibility for Erlang
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Causal-consistent replay reversible semantics for message passing concurrent programs
- Causal-consistent reversibility
- Characterizing Compatible View Updates in Syntactic Bidirectionalization
- Computation-universality of one-dimensional one-way reversible cellular automata
- CONCUR 2004 - Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Concurrent flexible reversibility
- Conservative logic
- Controlled Reversibility and Compensations
- Controlling Reversibility in Higher-Order Pi
- Direction-reversible self-timed cellular automata for delay-insensitive circuits
- Event identifier logic
- Event structure semantics of (controlled) reversible CCS
- Fundamentals of reversible flowchart languages
- scientific article; zbMATH DE number 4070321 (Why is no real title available?)
- scientific article; zbMATH DE number 3656855 (Why is no real title available?)
- scientific article; zbMATH DE number 3692653 (Why is no real title available?)
- scientific article; zbMATH DE number 559221 (Why is no real title available?)
- Implementing reversible object-oriented language features on reversible machines
- Irreversibility and Heat Generation in the Computing Process
- Logical Reversibility of Computation
- Modelling of DNA mismatch repair with a reversible process calculus
- Models of quantum computation and quantum programming languages
- On reversible Turing machines and their function universality
- Principles of transaction processing
- Quantum theory, the Church–Turing principle and the universal quantum computer
- Reversibility and asymmetric conflict in event structures
- Reversibility and asymmetric conflict in event structures
- Reversibility and Predictions
- Reversibility in massive concurrent systems
- Reversibility in the higher-order \(\pi\)-calculus
- Reversible computation in Petri nets
- Reversible computation in term rewriting
- Reversible computation vs. reversibility in Petri nets
- Reversible Computing
- Reversible computing and cellular automata -- a survey
- Reversible computing from a programming language perspective
- Reversible Machine Code and Its Abstract Processor Architecture
- Reversible pushdown automata
- Reversible sessions with flexible choices
- Reversing algebraic process calculi
- Reversing place transition nets
- Synthesis of quantum circuits vs. synthesis of classical reversible circuits
- The reversible temporal process language
- Theoretical foundations for compensations in flow composition languages
- Theory of reversible computing
- Towards a reversible functional language
- Towards a Truly Concurrent Semantics for Reversible CCS
- Towards a Unified Language Architecture for Reversible Object-Oriented Programming
- Towards bridging time and causal reversibility
- Towards causal-consistent reversibility of imperative concurrent programs
This page was built for publication: Towards a taxonomy for reversible computation approaches
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6148104)
