The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling (1994)

by S Gilmore, J Hillston
Venue:In Proceedings of the 7th International Conference on Computer Performance Evaluation : modelling techniques and tools