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 modelling network traffic and topologies

Visit website