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

Abstract / Description of output

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
Number of pages10
ISBN (Print)1-4244-0054-6
DOIs
Publication statusPublished - 1 Apr 2006

Keywords / Materials (for Non-textual outputs)

  • 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

Fingerprint

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

Cite this