Considerations on the insularity of performance evaluation
IEEE Transactions on Software Engineering
Communication and concurrency
Stochastic Petri nets: an elementary introduction
Advances in Petri nets 1989
Bisimulation through probabilistic testing
Information and Computation
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
Information and Computation
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
An Algebra-Based Method to Associate Rewards with EMPA Terms
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Towards Performance Evaluation with General Distributions in Process Algebras
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
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
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Performance-steered design of software architectures for embedded multicore systems
Software—Practice & Experience
| Hi-index | 0.00 |