A generic abstract machine for stochastic process calculi.

Loïc Paulevé Simon Youssef Matthew R. Lakin Andrew Phillips

Published in: CMSB (2010)

Keyphrases

stochastic process
abstract machine
stochastic processes
markov chain
stochastic model
brownian motion
data model
probability measures
relational databases
state space
database
image processing
optimal solution
pairwise
probability distribution