University of Edinburgh, Scotland
In some circumstances it is not sufficient to know that a computer
will not exhibit unwanted behaviour: one wants to know that it will
the desired behaviour within a prescribed time bound, or with a
quality of service. Quantitative methods are needed here to ensure
responses to requests. These lectures will show how stochastic
algebras are used to quantify system performance.