Quantitative Analysis of Concurrent Reversible Computations

DOI10.1007/978-3-319-22975-1_14MaRDI QIDQ2945596zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

• 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?)
• A Compositional Approach to Performance Modelling
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• CONCUR 2004 - Concurrency Theory
• Causal-consistent reversibility
• Concurrent flexible reversibility
• 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)

• Towards bridging time and causal reversibility
• Applying reversibility theory for the performance evaluation of reversible computations
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Reversible parallel computation: An evolving space-model
• On the statistical thermodynamics of reversible communicating processes
• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
• 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)