Bisimulation and cocongruence for probabilistic systems.

Vincent Danos Josée Desharnais François Laviolette Prakash Panangaden

Published in: Inf. Comput. (2006)

Keyphrases

intelligent systems
uncertain data
real world
retrieval systems
bayesian networks
data structure
natural language
knowledge based systems
computer systems
distributed systems
computational intelligence
data driven
graphical models
database
relational databases
genetic algorithm
databases