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.
|Title of host publication||University of Edinburgh|
|Number of pages||16|
|Publication status||Published - 1996|