Termination of Probabilistic Concurrent Program.

Sergiu Hart Micha Sharir Amir Pnueli

Published in: ACM Trans. Program. Lang. Syst. (1983)

Keyphrases

probabilistic model
bayesian networks
generative model
concurrent programs
posterior probability
information theoretic
databases
computer programs
probabilistic approaches
data sets
genetic algorithm
data driven
logic programming
machine learning
probabilistic reasoning
static analysis
termination analysis