Pages that link to "Item:Q1401206"
From MaRDI portal
The following pages link to Turning back time in Markovian process algebra. (Q1401206):
Displayed 22 items.
- Lumping and reversed processes in cooperating automata (Q291348) (← links)
- Algorithmic product-form approximations of interacting stochastic models (Q356426) (← links)
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Reversed processes, product forms and a non-product form (Q1434436) (← links)
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998) (← links)
- Separable solutions for Markov processes in random environments (Q2355869) (← links)
- On the relations between Markov chain lumpability and reversibility (Q2406431) (← links)
- Exact fluid lumpability in Markovian process algebra (Q2453115) (← links)
- Separable equilibrium state probabilities via time reversal in Markovian process algebra (Q2576953) (← links)
- Ergodicity bounds for the Markovian queue with time-varying transition intensities, batch arrivals and one queue skipping policy (Q2663805) (← links)
- Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets (Q2843056) (← links)
- Semi-Product-Form Solution for PEPA Models with Functional Rates (Q2843075) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
- Applying Reversibility Theory for the Performance Evaluation of Reversible Computations (Q4571082) (← links)
- PROCESSOR SHARING G-QUEUES WITH INERT CUSTOMERS AND CATASTROPHES: A MODEL FOR SERVER AGING AND REJUVENATION (Q4961784) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- PRODUCT-FORM IN G-NETWORKS (Q5358084) (← links)
- G-NETWORKS OF UNRELIABLE NODES (Q5358085) (← links)
- Reverse bisimilarity vs. forward bisimilarity (Q6091197) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)