Applying Reversibility Theory for the Performance Evaluation of Reversible Computations

DOI10.1007/978-3-319-43904-4_4zbMath1390.68300OpenAlexW2493150261MaRDI QIDQ4571082

Sabina Rossi, Andrea Marin, Filippo Cavallin, Simonetta Balsamo

Publication date: 6 July 2018

Published in: Analytical and Stochastic Modelling Techniques and Applications (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10278/3682193

Mathematics Subject Classification ID

Uses Software

• SPADES

Cites Work

• Causal-consistent rollback in a tuple-based language
• Fitting traffic traces with discrete canonical phase type distributions and Markov arrival processes
• The maximum number of infected individuals in SIS epidemic models: computational techniques and quasi-stationary distributions
• Turning back time in Markovian process algebra.
• Reversed processes, product forms and a non-product form
• Quantitative Analysis of Concurrent Reversible Computations
• Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
• Quasi–stationary distributions in Markov population processes
• CONCUR 2004 - Concurrency Theory
• A Compositional Approach to Performance Modelling
• Closed Queuing Systems with Exponential Servers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Applying Reversibility Theory for the Performance Evaluation of Reversible Computations