Login / Signup
A Proof System for Reasoning about Probabilistic Concurrent Processes.
Matteo Mio
Published in:
PSPL@LICS (2010)
Keyphrases
</>
concurrent processes
probabilistic knowledge
petri net
context sensitive
bayesian networks
probabilistic model
neural network
qualitative reasoning
probabilistic logic
data sets
decision trees
generative model
spatial reasoning
formal theory
concurrent programs