The following pages link to Stephen Gilmore (Q941453):
Displaying 11 items.
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (Q941454) (← links)
- Abstract Interpretation of PEPA Models (Q2796221) (← links)
- A structural approach for modelling performance of systems using skeletons (Q2870292) (← links)
- Stochastic Process Algebras (Q3084589) (← links)
- State-Aware Performance Analysis with eXtended Stochastic Probes (Q3543312) (← links)
- Formal Methods for Biochemical Signalling Pathways (Q3557672) (← links)
- Specifications in stochastic process algebra for a robot control problem (Q4230124) (← links)
- (Q4518928) (← links)
- (Q4738769) (← links)
- (Q4817054) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897116) (← links)