Performance modelling in PEPA with higher-order functions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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 languageEnglish
Title of host publicationProceedings of the Sixteenth UK Performance Engineering Workshop
Number of pages12
Publication statusPublished - 2000


Dive into the research topics of 'Performance modelling in PEPA with higher-order functions'. Together they form a unique fingerprint.

Cite this