Performance analysis of stochastic process algebra models using stochastic simulation

We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process description, we can use tools developed for chemical and biochemical reaction analysis to provide timeseries output for models with state spaces of O(1010000 ) and beyond. We apply these techniques to a significant case study: that of a secure electronic voting protocol.

• Type: Conference
• Year: 2006
• Where: IPPS
• Authors: Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
• Keywords: Biochemical Reaction Analysis, Distributed And Parallel Computing, Generic Stochastic Process, IPPS 2006, Stochastic Simulation