%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, r).Server; (Browser <> Browser <> Browser <> Browser) Server