Login / Signup
On Verifying Causal Consistency.
Ahmed Bouajjani
Constantin Enea
Rachid Guerraoui
Jad Hamza
Published in:
CoRR (2016)
Keyphrases
</>
causal relationships
bayesian networks
consistency checking
causal networks
causal relations
model checking
causal models
constraint networks
causal reasoning
causal structure
causal independence
optimal solution
expert systems
data model
temporal constraints