Login / Signup
Computing Behavioral Relations for Probabilistic Concurrent Systems.
Daniel Gebler
Vahid Hashemi
Andrea Turrini
Published in:
ROCKS (2012)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
bayesian networks
petri net
formal specification
model checking
transition systems
monotonicity constraints
generative model
probabilistic model
semantic relations
uncertain data
probabilistic logic
data driven
neural network
conditional probabilities
fine grained
open source