The University of Southampton

Publications

Tribastone, Mirco (2013) A fluid model for layered queueing networks. IEEE Transactions on Software Engineering, 39, (6), 744-756. (doi:10.1109/TSE.2012.66).

Tribastone, Mirco, Ding, Jie, Gilmore, Stephen and Hillston, Jane (2012) Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 38, 861-874. (doi:10.1109/TSE.2011.81).

Tribastone, Mirco, Gilmore, Stephen and Hillston, Jane (2012) Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering, 38, (1), 205-219. (doi:10.1109/TSE.2010.82).

Hillston, Jane, Tribastone, Mirco and Gilmore, Stephen (2012) Stochastic process algebras: from individuals to populations. The Computer Journal, 55, (7), 866-881. (doi:10.1093/comjnl/bxr094).

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×