A Process-Algebraic Language for Probabilistic I/O Automata.

Eugene W. Stark Rance Cleaveland Scott A. Smolka

Published in: CONCUR (2003)

Keyphrases

bayesian networks
probabilistic model
programming language
machine learning
design process
input output
uncertain data