Process algebra for performance evaluation
Theoretical Computer Science
Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Hi-index | 0.01 |