Confluence Reduction for Probabilistic Systems.

Mark Timmer Mariëlle Stoelinga Jaco van de Pol

Published in: TACAS (2011)

Keyphrases

systems require
databases
information systems
bayesian networks
multiscale
data streams
multi agent systems
expert systems
information technology
probabilistic model
management system
distributed systems
complex systems
probabilistic reasoning
rewrite systems