Compositional performance modelling with the TIPPtool

DOI10.1016/S0166-5316(99)00056-5zbMath1052.68553OpenAlexW2695253840WikidataQ126654684 ScholiaQ126654684MaRDI QIDQ4779362

No author found.

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)00056-5

zbMATH Keywords

stochastic process algebras

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (5)

On the use of MTBDDs for performability analysis and verification of stochastic systems. ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Approximate mean value analysis based on Markov chain aggregation by composition ⋮ Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking ⋮ Process algebra for performance evaluation

This page was built for publication: Compositional performance modelling with the TIPPtool