|  | 
Department of Computing. Research includes quantitative evaluation of systems, queueing networks, stochastic process algebras, stochastic petri-nets, distributed generation and solution of very large Markov chains, discrete-event simulation, and model... http://aesop.doc.ic.ac.uk/
 |  
  |