Communicating sequential processes
Communicating sequential processes
Performance models of multiprocessor systems
Performance models of multiprocessor systems
Three partition refinement algorithms
SIAM Journal on Computing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Tool support to implement LOTOS formal specifications
Computer Networks and ISDN Systems - Special issue on tools for FDTs
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling
A compositional approach to performance modelling
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Stochastic process algebras—between LOTOS and Markov chains
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Partial order models for quantitative extensions of LOTOS
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Communication and Concurrency
Extended Markovian Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
An algebraic approach to the specification of stochastic systems
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Formal Description, Time and Performance Analysis. A Framework
Entwurf und Betrieb verteilter Systeme, Fachtagung des Sonderforschungsbereiche 124 und 182,
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Stochastic process algebras as a tool for performance and dependability modelling
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
| Hi-index | 0.00 |
Stochastic Process Algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art-techniques, and wrapped in a user-friendly graphical front end.