// WEB1 example from the Performance Modelling course // Author: Jane Hillston, University of Edinburgh lambda = 0.05; m = 0.1; g = 0.01; r = 0.001; mu = 1.0; Browser = (display, 0.4*lambda).(cache,m).Browser + (display, 0.6*lambda).(get,g).(download,infty).(rel,r).Browser; Server = (get, infty).(download, mu).(rel, infty).Server; Browser Server