Refining internal choice in PEPA models

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

Abstract

In a previous paper [GHH96] the authors presented a program development technique for stochastic process algebra models which was centred on the translation from a model into an abstract program skeleton which presents the structural and behavioural information from the model in programming language notation. The intention of this work, which we continue here, is to support the methodical development of concurrent programs from stochastic process algebra specifications of their behaviour and performance.
Original languageEnglish
Title of host publicationUniversity of Edinburgh
Pages49-64
Number of pages16
Publication statusPublished - 1996

Fingerprint

Dive into the research topics of 'Refining internal choice in PEPA models'. Together they form a unique fingerprint.

Cite this