Product form solution for a class of PEPA models

DOI10.1016/S0166-5316(99)00005-XzbMath1052.68638DBLPjournals/pe/HillstonT99OpenAlexW2690011643WikidataQ56764999 ScholiaQ56764999MaRDI QIDQ4779393

Nigel Thomas, Jane Hillston

Publication date: 24 June 2003

Published in: Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0166-5316(99)00005-x

zbMATH Keywords

Markovian process algebraPEPA models

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Formal techniques for performance analysis: blending SAN and PEPA ⋮ Tackling continuous state-space explosion in a Markovian process algebra ⋮ Turning back time in Markovian process algebra. ⋮ Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations ⋮ A fluid analysis framework for a Markovian process algebra ⋮ Process algebra for performance evaluation ⋮ Structural Analysis for Stochastic Process Algebra Models ⋮ It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

Uses Software

• PEPA

This page was built for publication: Product form solution for a class of PEPA models