Research Article
Fluid semantics for passive stochastic process algebra cooperation
@INPROCEEDINGS{10.4108/ICST.VALUETOOLS2008.4329, author={Richard A. Hayden and Jeremy T. Bradley}, title={Fluid semantics for passive stochastic process algebra cooperation}, proceedings={3rd International ICST Conference on Performance Evaluation Methodologies and Tools}, publisher={ICST}, proceedings_a={VALUETOOLS}, year={2010}, month={5}, keywords={fluid passive cooperation PEPA stochastic process algebra}, doi={10.4108/ICST.VALUETOOLS2008.4329} }- Richard A. Hayden
Jeremy T. Bradley
Year: 2010
Fluid semantics for passive stochastic process algebra cooperation
VALUETOOLS
ICST
DOI: 10.4108/ICST.VALUETOOLS2008.4329
Abstract
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engineers. Therefore having an accurate translation of passive cooperation into a fluid model is of direct practical application. We compare different existing styles of fluid model translation of passive cooperation in a stochastic process algebra. We explain why the development of a fluid semantics for passive cooperation is not straightforward and we present an alternative definition which more closely matches the underlying discrete model. Finally, we present quantitative comparisons with a previous version of the fluid semantics in which numerical discrepancies can be observed.
