Stochastic Process Algebras - Between LOTOS and Markov Chains.

Holger Hermanns Ulrich Herzog Vassilis Mertsiotakis

Published in: Comput. Networks (1998)

Keyphrases

stochastic process
markov chain
markov process
steady state
transition probabilities
finite state
markov processes
stationary distribution
state space
random walk
markov model
transition matrix
probabilistic automata
search algorithm
bayesian framework