School of Computing

Analysis of a multimedia stream using stochastic process algebra

Howard Bowman, Jeremy Bryans, and John Derrick

In Corrado Priami, editor, Sixth International Workshop on Process Algebras and Performance Modelling, pages 182-196, Nice, September 1998.


It is now well recognised that the next generation of distributed systems will be distributed multimedia systems. Central to multimedia systems is quality of service, which defines the non-functional requirements on the system. In this paper we investigate how stochastic process algebra can be used in order to determine the quality of service properties of distributed multimedia systems. We use a simple multimedia stream as our basic example. We describe it in the Stochastic Process Algebra PEPA and then we analyse whether the stream satisfies a set of quality of service parameters: throughput, end-to-end latency, jitter and error rates.

Bibtex Record

author = {Howard Bowman and Jeremy Bryans and John Derrick},
title = {Analysis of a Multimedia Stream using Stochastic Process Algebra},
month = {September},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    address = {Nice},
    booktitle = {Sixth International Workshop on Process Algebras and Performance Modelling},
    editor = {Corrado Priami},
    refereed = {yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014