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
1996
- Specifications in Stochastic Process Algebra for a Robot Control Problem, Stephen Gilmore, Jane
Hillston, Robert Holton, and Michael Rettelbach, International Journal of Production Research, 34(4), pages 1065-1080, 1996.
- From SPA models to programs, Stephen Gilmore, Jane Hillston, and Robert Holton, In
M. Ribaudo, editor, Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling, pages 179-198. Dipartimento di
Informatica, Universitá di Torino, CLUT, July 1996.
- Refining internal choice in PEPA models, Stephen Gilmore and Jane Hillston, In R. Pooley
and J. Hillston, editors, Proceedings of the Twelfth UK Performance Engineering Workshop, pages 49-64, Department of Computer Science, The
University of Edinburgh, September 1996.
Last updated: Monday, 16 March 2015 — Validate this
page.