Performance analysis of stochastic process algebra models using stochastic simulation

J.T. Bradley, S.T. Gilmore, N. Thomas

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 time-series 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.

Original languageEnglish
Title of host publicationParallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages10
ISBN (Print)1-4244-0054-6
Publication statusPublished - 1 Apr 2006


  • process algebra
  • simulation
  • state-space methods
  • stochastic processes
  • time series
  • biochemical reaction analysis
  • chemical reaction analysis
  • performance analysis
  • secure electronic voting protocol
  • stochastic process algebra model
  • stochastic simulation
  • Algebra
  • Analytical models
  • Biochemical analysis
  • Chemical analysis
  • Chemical processes
  • Equations
  • Performance analysis
  • State-space methods
  • Stochastic processes
  • Time series analysis


Dive into the research topics of 'Performance analysis of stochastic process algebra models using stochastic simulation'. Together they form a unique fingerprint.

Cite this