In: Proc. 16th Performance Engineering Workshop, 24-25 July 2000, Durham, UK, pages 35-46. 2000.
Abstract: Performance Evaluation Process Algebra (PEPA) is a high-level modeling language for distributed systems. This paper describes 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.
Keywords: PEPA, Standard ML, higher-order functions, performance modeling.