 |
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/ |

 |