Modelling network performance with a spatial stochastic process algebra

Proceedings - International Conference on Advanced Information Networking and Applications, AINA

Volumn , Issue , 2009, Pages 41-49

  Galpin, Vashti ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCRETE PROCESS; CONTINUOUS TIME MARKOV CHAIN; DIRECTED GRAPHS; HYPERGRAPH; PROCESS ALGEBRAS; SPATIAL CONCEPTS; SPATIAL STOCHASTIC; STOCHASTIC PROCESS ALGEBRAS; WEIGHTED DIRECTED GRAPH;

GRAPH THEORY; LOCATION; MARKOV PROCESSES; NETWORK PERFORMANCE; SYSTEMS ENGINEERING;

ALGEBRA;

EID: 70349492215     PISSN: 1550445X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINA.2009.75     Document Type: Conference Paper

References (17)

1. J. Hillston, A compositional approach to performance modelling. Cambridge University Press, 1996.
2. M. Bernardo and R. Gorrieri, "A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time", Theoretical Computer Science, vol. 202, pp. 1-54, 1998.
3. U. Herzog and V. Mertsiotakis, "Stochastic process algebras applied to failure modelling", in Proceedings of the Second Workshop on Process Algebras and Performance Modelling, Regensberg, July 1994.
4. C. Priami, A. Regev, E. Shapiro, and W. Silverman, "Application of a stochastic name-passing calculus to representation and simulation of molecular processes", Information Processing Letters, vol. 80, pp. 25-31, 2001.
5. A. Hinton, M. Z. Kwiatkowska, G. Norman, and D. Parker, "PRISM: A tool for automatic verification of probabilistic systems", in TACAS 2006, Vienna, LNCS 3920, H. Hermanns and J. Palsberg, Eds. Springer, 2006, pp. 441-444.
6. J. Hillston, "Fluid flow approximation of PEPA models", in Second International Conference on the Quantitative Evaluation of Systems (QEST 2005), Torino, Italy. IEEE Computer Society, 2005, pp. 33-43.
7. S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo, "PEPA nets: a structured performance modelling formalism", Performance Evaluation, vol. 54, pp. 79-104, 2003.
8. R. de Nicola, J.-P. Katoen, D. Latella, M. Loreti, and M. Massink, "KLAIM and its stochastic semantics", Dipartimento di Sistemi e Informatica, Universitá di Firenze, Tech. Rep., 2006. [Online]. Available: http://rap.dsi.unifi.it/loreti/papers/TR062006.pdf
9. A. Regev, E. Panina, W. Silverman, L. Cardelli, and E. Shapiro, "BioAmbients: an abstraction for biological compartments", Theoretical Computer Science, vol. 325, pp. 141-167, 2004.
10. C. Priami and P. Quaglia, "Beta binders for biological interactions", in CMSB 2004, Paris, France, LNCS 3082, V. Danos and V. Schächter, Eds. Springer, 2004, pp. 20-33.
11. S. Low, F. Paganini, and J. Doyle, "Internet congestion control", IEEE Control Systems Magazine, vol. 22, pp. 28-43, Feb 2002.
12. A. Argent-Katwala and J. T. Bradley, "Functional performance specification with stochastic probes", in EPEW 2006, Budapest, Hungary, LNCS 4054, A. Horváth and M. Telek, Eds. Springer, 2006, pp. 31-46.
13. A. Clark, "The ipclib PEPA Library", in Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), M. Harchol-Balter, M. Kwiatkowska, and M. Telek, Eds. IEEE, Sept. 2007, pp. 55-56.
14. I. Castellani, "Process algebra with localities", in Handbook of Process Algebra, J. Bergstra, A. Ponse, and S. Smolka, Eds. Elsevier, 2001, pp. 945-1045.
15. D. Gelernter, "Generative communication in Linda", Communications of the ACM, vol. 7, pp. 80-112, 1985.
16. D. Sangiorgi, "Locality and interleaving semantics in calculi for mobile processes", Theoretical Computer Science, vol. 155, pp. 39-83, 1996.
17. A. van Maanen and X.-M. Xu, "Modelling plant disease epidemics", European Journal of Plant Pathology, vol. 109, pp. 669-682, 2003.