For the most recent entries see the Petri Nets Newsletter.

Performance modeling in PEPA with higher-order functions.

Gilmore, S.; Hillston, J.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography