×

zbMATH — the first resource for mathematics

Gilmore, Stephen T.

Compute Distance To:
Author ID: gilmore.stephen-t Recent zbMATH articles by "Gilmore, Stephen T."
Published as: Gilmore, Stephen; Gilmore, Stephen T.; Gilmore, S.
Documents Indexed: 18 Publications since 1996, including 5 Books

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 17 times in 16 Documents Cited by Year
PEPA nets: A structured performance modelling formalism. Zbl 1047.68527
Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina
3
2002
Stochastic process algebras. Zbl 1323.68406
Clark, Allan; Gilmore, Stephen; Hillston, Jane; Tribastone, Mirco
3
2007
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Zbl 1154.68318
Bradley, Jeremy T.; Gilmore, Stephen T.; Hillston, Jane
3
2008
Exploiting modal logic to express performance measures. Zbl 0962.68120
Clark, Graham; Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina
2
2000
Formal methods for biochemical signalling pathways. Zbl 1185.92041
Calder, Muffy; Gilmore, Stephen; Hillston, Jane; Vyshemirsky, Vladislav
2
2010
State-aware performance analysis with extended stochastic probes. Zbl 1180.68078
Clark, Allan; Gilmore, Stephen
2
2008
Specifications in stochastic process algebra for a robot control problem. Zbl 0917.90166
Gilmore, S.; Hillston, J.; Holton, R.; Rettelbach, M.
1
1996
Performance evaluation for global computation. Zbl 1179.68016
Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado
1
2003
Formal methods for biochemical signalling pathways. Zbl 1185.92041
Calder, Muffy; Gilmore, Stephen; Hillston, Jane; Vyshemirsky, Vladislav
2
2010
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Zbl 1154.68318
Bradley, Jeremy T.; Gilmore, Stephen T.; Hillston, Jane
3
2008
State-aware performance analysis with extended stochastic probes. Zbl 1180.68078
Clark, Allan; Gilmore, Stephen
2
2008
Stochastic process algebras. Zbl 1323.68406
Clark, Allan; Gilmore, Stephen; Hillston, Jane; Tribastone, Mirco
3
2007
Performance evaluation for global computation. Zbl 1179.68016
Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado
1
2003
PEPA nets: A structured performance modelling formalism. Zbl 1047.68527
Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina
3
2002
Exploiting modal logic to express performance measures. Zbl 0962.68120
Clark, Graham; Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina
2
2000
Specifications in stochastic process algebra for a robot control problem. Zbl 0917.90166
Gilmore, S.; Hillston, J.; Holton, R.; Rettelbach, M.
1
1996

Citations by Year