Quantitative Analysis of Concurrent Reversible Computations
From MaRDI portal
Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Recommendations
- Applying reversibility theory for the performance evaluation of reversible computations
- Concurrencies in reversible concurrent calculi
- Relative expressiveness of calculi for reversible concurrency
- Reversibility in massive concurrent systems
- A structural approach to reversible computation
- An axiomatic approach to reversible computation
- scientific article; zbMATH DE number 1189113
- Time/Space Trade-Offs for Reversible Computation
- Reversible simulation of space-bounded computations
- Reversibility in space-bounded computation
Cites work
- A Compositional Approach to Performance Modelling
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Causal-consistent reversibility
- CONCUR 2004 - Concurrency Theory
- Concurrent flexible reversibility
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 4088693 (Why is no real title available?)
- scientific article; zbMATH DE number 3656855 (Why is no real title available?)
- scientific article; zbMATH DE number 729460 (Why is no real title available?)
- Interactive Markov chains. And the quest for quantified quality
- Logical Reversibility of Computation
- Model checking for performability
- On the statistical thermodynamics of reversible communicating processes
- Process algebra for performance evaluation
- Quantum computing. A gentle introduction
- Reversibility in massive concurrent systems
- Reversing algebraic process calculi
- Turning back time in Markovian process algebra.
Cited in
(8)- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- A structural approach to reversible computation
- On the statistical thermodynamics of reversible communicating processes
- Applying reversibility theory for the performance evaluation of reversible computations
- Towards bridging time and causal reversibility
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversible simulation of space-bounded computations
- Reversible parallel computation: An evolving space-model
This page was built for publication: Quantitative Analysis of Concurrent Reversible Computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945596)
