Performance analysis of stochastic process algebra models using stochastic simulation.

Jeremy T. Bradley Stephen T. Gilmore Nigel Thomas

Published in: IPDPS (2006)

Keyphrases

stochastic simulation
probabilistic model
knowledge representation
neural network
model checking
ordinary differential equations
bayesian analysis
process algebra
experimental data
belief networks