The PEPA workbench: A tool to support a process algebra-based approach to performance modelling
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 353-368
- https://doi.org/10.1007/3-540-58021-2_20
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- An overview and synthesis on timed process algebrasPublished by Springer Nature ,1992
- The Design of Communicating SystemsPublished by Springer Nature ,1991
- GSPN models of Markovian multiserver multiqueue systemsPerformance Evaluation, 1990
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984