Bisimulation for Models in Concurrency.

Mogens Nielsen Christian Clausen

Published in: CONCUR (1994)

Keyphrases

probabilistic model
statistical models
statistical model
mathematical models
real world
artificial intelligence
bayesian networks
prior knowledge
least squares
statistical methods
accurate models