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 language | English |
---|---|
Title of host publication | Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International |
Publisher | Institute of Electrical and Electronics Engineers |
Number of pages | 10 |
ISBN (Print) | 1-4244-0054-6 |
DOIs | |
Publication status | Published - 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