Items where Author is "Hillston, Jane"

2015

Bortolussi, Luca and Hillston, Jane and Tribastone, Mirco Fluid performability analysis of nested automata models. Electronic Notes in Theoretical Computer Science, 310. pp. 27-47. ISSN 1571-0661 (2015)

Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Service composition for collective adaptive systems. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 490-505. ISBN 978-3-319-15545-6 (2015)

2012

Hillston, Jane and Tribastone, Mirco and Gilmore, Stephen Stochastic process algebras: from individuals to populations. The Computer Journal, 55 (7). pp. 866-881. ISSN 0010-4620 (2012)

Tribastone, Mirco and Ding, Jie and Gilmore, Stephen and Hillston, Jane Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 38 (4). pp. 861-874. ISSN 0098-5589 (2012)

Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering, 38 (1). pp. 205-219. ISSN 0098-5589 (2012)

2010

Bortolussi, Luca and Galpin, Vashti and Hillston, Jane and Tribastone, Mirco Hybrid semantics for PEPA. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, pp. 181-190. ISBN 978-1-4244-8082-1 (2010)

2007

Clark, Allan and Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Stochastic process algebras. In: Formal Methods for Performance Evaluation. Lecture Notes in Computer Science (4486). Springer, pp. 132-179. ISBN 78-3-540-72522-0 (2007)