Rate-Based Transition Systems for Stochastic Process Calculi.

Rocco De Nicola Diego Latella Michele Loreti Mieke Massink

Published in: ICALP (2) (2009)

Keyphrases

stochastic process
transition systems
markov chain
finite state
stochastic processes
model checking
concurrent systems
stochastic model
temporal logic
practical reasoning
control flow
diffusion process
model checker
autoregressive
steady state
image segmentation
machine learning