Professor Stephen Gilmore
School of Informatics
The University of Edinburgh
Informatics Forum (Room 3.47)
10 Crichton Street
Edinburgh EH8 9AB
Email: Stephen.Gilmore@ed.ac.uk
Phone: +44 (0)131 650 5189
Biography — Projects — Publications —
Students — Teaching — Conferences — Family — DBLP
Publications
All ‣ Preprints ‣ 2011 ‣ 2010 ‣ 2009 ‣ 2008 ‣ 2007 ‣ 2006 ‣ 2005 ‣ 2004 ‣ 2003 ‣ 2002 ‣ 2001 ‣ 2000 ‣ 1999 ‣ 1998 ‣ 1997 ‣ 1996 ‣ 1995 ‣ 1994
2007
- Stochastic Process Algebras, Allan Clark, Stephen Gilmore, Jane Hillston and Mirco Tribastone,
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2007), Bertinoro, Italy, Springer LNCS
Volume 4486, pages 132-179, June 2007.
- Replicating Web Services for Scalability, Mario Bravetti, Stephen Gilmore, Claudio Guidi and
Mirco Tribastone, Third Symposium on Trustworthy Global Computing (TGC 2007), Sophia-Antipolis, France, Springer LNCS Volume 4912, pages 204-221,
November 2007.
- Location-Aware Quality of Service Measurements for Service-Level Agreements, Ashok
Argent-Katwala, Jeremy T. Bradley, Allan Clark and Stephen Gilmore, Third Symposium on Trustworthy Global Computing (TGC 2007), Sophia-Antipolis,
France, Springer LNCS Volume 4912, pages 222-239, November 2007.
- A Structural Approach for Modelling Performance of Systems Using Skeletons, Gagarine Yaikhom,
Murray Cole, Stephen Gilmore and Jane Hillston, Electronic Notes in Theoretical Computer Science, 190(3), pages 167-183, 2007.
Last updated: Monday, 16 March 2015 — Validate this
page.