Quantitative Analysis of Concurrent Reversible Computations
DOI10.1007/978-3-319-22975-1_14zbMATH Open1465.68197OpenAlexW2216550701MaRDI QIDQ2945596FDOQ2945596
Authors: Andrea Marin, Sabina Rossi 
Publication date: 14 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-22975-1_14
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
- Time/Space Trade-Offs for Reversible Computation
- Reversible simulation of space-bounded computations
- Reversibility in space-bounded computation
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Other nonclassical models of computation (68Q09) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reversing algebraic process calculi
- Title not available (Why is that?)
- CONCUR 2004 - Concurrency Theory
- Concurrent Flexible Reversibility
- Logical Reversibility of Computation
- Interactive Markov chains. And the quest for quantified quality
- A Compositional Approach to Performance Modelling
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Title not available (Why is that?)
- Turning back time in Markovian process algebra.
- Quantum computing. A gentle introduction
- Process algebra for performance evaluation
- Title not available (Why is that?)
- On the Statistical Thermodynamics of Reversible Communicating Processes
- Title not available (Why is that?)
- Model checking for performability
Cited In (7)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Reversible parallel computation: An evolving space-model
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- Applying Reversibility Theory for the Performance Evaluation of Reversible Computations
- Towards Bridging Time and Causal Reversibility
- A structural approach to reversible computation
- Reversible simulation of space-bounded computations
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)
