Name:	Professor S Gilmore
Organisation:	University of Edinburgh
Department:	Sch of Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/J019712/1 Milner Symposium 2012 (C) EP/F013361/1 Supporting crossover between quantitative modelling communities (P) EP/E031439/1 SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis (C) EP/C537068/1 ReQueST: Resource Quantification in e-Science Technologies (C) GR/S21717/01 Enhancing the Performance Predictability of Grid Applicationswith Patterns and Process Algebras (C) GR/L74798/01 DISTRIBUTED COMMIT PROTOCOLS: INTERACTIVE SIMULATION, VERIFICATION AND BEHAVIOURAL ANALYSIS (C) GR/J11850/01 SHARED ENVIRONMENTS FOR DISTRIBUTED COMPUTING (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator