Lookup NU author(s): Dr Nigel Thomas
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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(10^10000) and beyond. We apply these techniques to a significant case study: that of a secure electronic voting protocol.
Author(s): Bradley JT, Gilmore ST, Thomas N
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 20th International Parallel and Distributed Processing Symposium (IPDPS)
Year of Conference: 2006
Notes: Printed proceedings - abstract only. Full paper (10 pp.) on CD-ROM.
Library holdings: Search Newcastle University Library for this item