Pages that link to "Item:Q1401206"

The following pages link to Turning back time in Markovian process algebra. (Q1401206):

Displaying 21 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)
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)