Partial Evaluation of PEPA Models for Fluid-Flow Analysis
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
State-Aware Performance Analysis with eXtended Stochastic Probes
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Scalable Analysis of Scalable Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
Passage-end analysis for analysing robot movement
Rigorous software engineering for service-oriented systems
Quantitative analysis of services
Rigorous software engineering for service-oriented systems
| Hi-index | 0.00 |
PEPA[6] is a popular stochastic process algebra which allows a compositional approach to stochastic model description. The ipc compiler translates a given PEPA model into a format suitable for processing by the Hydra[5] Markovian response-time analyser. The ipc software has undergone some improvements which have led to its refactoring as a library for handling PEPA models.