TIPPtool: Compositional specification and analysis of Markovian performance models

DOI10.1007/3-540-48683-6_42MaRDI QIDQ4818816zbMATH OpenFDO

Authors Holger Hermanns, Vassilios Mertsiotakis, Markus Siegle

Publication date 24 September 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48683-6_42

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional performance modelling with the TIPPtool
• A Compositional Approach to Performance Modelling
• Process algebra for performance evaluation
• Advances in model representations
• scientific article; zbMATH DE number 19227

Cited in

(6)

• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
• A set of performance and dependability analysis components for CADP
• Compositional performance modelling with the TIPPtool
• Advances in model representations
• scientific article; zbMATH DE number 836617 (Why is no real title available?)
• Equivalence checking 40 years after: a review of bisimulation tools

This page was built for publication: TIPPtool: Compositional specification and analysis of Markovian performance models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4818816)