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.
|Title of host publication||Proceedings of the Sixteenth UK Performance Engineering Workshop|
|Number of pages||12|
|Publication status||Published - 2000|