Termination of Probabilistic Concurrent Programs.

Sergiu Hart Micha Sharir Amir Pnueli

Published in: POPL (1982)

Keyphrases

concurrent programs
concurrent programming
bayesian networks
probabilistic model
artificial intelligence
real time
high level
database systems
concurrent processes