Pages that link to "Item:Q4779393"

The following pages link to Product form solution for a class of PEPA models (Q4779393):

Displaying 8 items.

• Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
• Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
• A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
• Turning back time in Markovian process algebra. (Q1401206) (← links)
• Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
• Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations (Q3543311) (← links)
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models (Q5014508) (← links)
• Process algebra for performance evaluation (Q5958464) (← links)