Unified specification and performance evaluation using stochastic process algebras.

Roberto Gorrieri Ulrich Herzog Jane Hillston

Published in: Perform. Evaluation (2002)

Keyphrases

stochastic process
stochastic processes
markov chain
stochastic model
brownian motion
probability measures
probability distribution
learning algorithm
pairwise
optical flow