Pages that link to "Item:Q2945596"
From MaRDI portal
The following pages link to Quantitative Analysis of Concurrent Reversible Computations (Q2945596):
Displaying 4 items.
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998) (← links)
- Applying Reversibility Theory for the Performance Evaluation of Reversible Computations (Q4571082) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
