Fluid semantics for passive stochastic process algebra cooperation

VALUETOOLS 2008 - 3rd International Conference on Performance Evaluation Methodologies and Tools

Volumn , Issue , 2008, Pages

  Hayden, Richard A ^a   Bradley, Jeremy T ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; RANDOM PROCESSES; TOOLS;

COOPERATION MECHANISM; DISCRETE MODELING; FLUID MODELING; FLUID MODELLING; PERFORMANCE MODEL; QUANTITATIVE COMPARISON; STOCHASTIC PROCESS ALGEBRAS;

SEMANTICS;

EID: 84896931936     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/ICST.VALUETOOLS2008.4329     Document Type: Conference Paper

References (11)

1. H. Bowman, J. W. Bryans, and J. Derrick. Analysis of a multimedia stream using stochastic process algebras. The Computer Journal, 44(4):230-245, 2001.
2. J. T. Bradley, N. J. Dingle, S. T. Gilmore, and W. J. Knottenbelt. Derivation of passage-time densities in PEPA models using ipc: The Imperial PEPA Compiler. In G. Kotsis, editor, MASCOTS'03, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pages 344-351. IEEE Press, October 2003.
3. J. T. Bradley, S. T. Gilmore, and J. Hillston. Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Journal of Computer and System Sciences, 74:1013-1032, July 2008.
4. M. Bravetti, S. Gilmore, C. Guidi, and M. Tribastone. Replicating web services for scalability. In G. Barthe and C. Fournet, editors, Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07), volume 4912 of LNCS, pages 204-221. Springer-Verlag, 2008.
5. A. Duguid. Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. In E. Asarin and P. Bouyer, editors, Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, volume 4202 of LNCS, pages 156-170. Springer, 2006.
6. J. M. Fourneau, L. Kloul, and F. Valois. Performance modelling of hierarchical cellular networks using PEPA. Perf. Eval., 50(2-3):83-99, November 2002.
7. S. Gilmore and M. Tribastone. Evaluating the scalability of a web service-based distributed e-learning and course management system. In M. Bravetti, M. T. Núñez, and G. Zavattaro, editors, Third International Workshop on Web Services and Formal Methods (WS-FM'06), volume 4184 of LNCS, pages 156-170, Vienna, Austria, 2006. Springer.
8. J. Hillston. A Compositional Approach to Performance Modelling, volume 12 of Distinguished Dissertations in Computer Science. Cambridge University Press, 1996.
9. J. Hillston. Fluid flow approximation of PEPA models. In QEST'05, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, pages 33-42, Torino, September 2005. IEEE Press.
10. D. R. W. Holton. A PEPA specification of an industrial production cell. In S. Gilmore and J. Hillston, editors, Process Algebra and Performance Modelling Workshop, volume 38(7) of Special Issue: The Computer Journal, pages 542-551. CEPIS, Edinburgh, June 1995.
11. N. Thomas, J. T. Bradley, and W. J. Knottenbelt. Stochastic analysis of scheduling strategies in a GRID-based resource model. IEE Software Engineering, 151(5):232-239, September 2004.