By Topic

Modelling Network Performance with a Spatial Stochastic Process Algebra

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Galpin, V. ; Sch. of Inf., Lab. for Foundations of Comput. Sci., Univ. of Edinburgh, Edinburgh

This paper shows how network performance can be modeled by a stochastic process algebra which includes spatial concepts. The concepts are added to PEPA and the motivation is that location of actions or processes with respect to other parts of a system may affect the time taken by an event. First a very general spatial stochastic process algebra is presented. Locations are introduced to both actions and processes, and are provided with weighted directed graph or hypergraph structure. This general process algebra is then made more concrete to illustrate its use in a networking context. It is shown how analyses based on continuous time Markov chains (CTMCs) can be expressed in terms of the directed graphs used in the concrete process algebra.

Published in:

Advanced Information Networking and Applications, 2009. AINA '09. International Conference on

Date of Conference:

26-29 May 2009