30
IRUS Total
Downloads
  Altmetric

Fluid semantics for passive stochastic process algebra cooperation

File Description SizeFormat 
fluid-passive-spa.pdfAccepted version284.77 kBAdobe PDFView/Open
Title: Fluid semantics for passive stochastic process algebra cooperation
Authors: Hayden, RA
Bradley, JT
Item Type: Conference Paper
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. © 2008 ICST ISBN.
Issue Date: 1-Jan-2008
URI: http://hdl.handle.net/10044/1/5895
Publisher Link: http://eudl.eu/article.php?id=4329
DOI: 10.4108/ICST.VALUETOOLS2008.4329
ISBN: 978-963-9799-31-8
Publisher: ICST
Presented At: 3rd International Conference on Performance Evaluation Methodologies and Tools
Published Proceedings: Value Tools 2008: Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Start Page: 1
End Page: 10
Copyright Statement: © 2007 ICST. This is the author's version of the work. It is posted here by permission of ICST for your personal use. Not for redistribution. The definitive version was published in VALUE TOOLS {ARTICLE NO. 55, 2008}
Conference Location: Athens, Greece
Appears in Collections:Computing
High Performance Informatics