Toggle Main Menu Toggle Search

Open Access padlockePrints

Performance analysis of Stochastic Process Algebra models using Stochastic Simulation

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.

Publication metadata

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

Pages: 321-321

Publisher: IEEE


DOI: 10.1109/IPDPS.2006.1639627

Notes: Printed proceedings - abstract only. Full paper (10 pp.) on CD-ROM.

Library holdings: Search Newcastle University Library for this item

ISBN: 1424400546