Abstract
Performance Evaluation Process Algebra (PEPA) is a high-level modelling language for distributed systems. In this paper we describe a novel approach to composing PEPA models where the language is supplemented with the structuring features and language constructs of a strongly typed higher-order functional programming language, Standard ML. Together, this language combination provides greatly improved support than was previously available for experimenting with PEPA models to check for errors in their formulation.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Sixteenth UK Performance Engineering Workshop |
| Pages | 35-46 |
| Number of pages | 12 |
| Publication status | Published - 2000 |