Stephen Gilmore
5 published titles
Supporting formal reasoning about standard ML
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Specifications in stochastic process algebra for a robot control problem
(Contributor)
1 edition
- Computer Systems Group, University of Edinburgh
- 1994
- Details
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 354042556X
- Springer-Verlag
- 2001
- Details
Language constructs for describing features : proceedings of the FIREworks workshop
(Contributor)
1 edition
- ISBN: 1852333928
- Springer
- 2001
- Details
Computer performance engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642367809
- Springer
- 2013
- Details
