Multilevel Transitive and Intransitive Non-interference, Causally.

Paolo Baldan Alessandro Beggiato

Published in: COORDINATION (2016)

Keyphrases

transitive closure
multipath
causal relationships
causal models
directed acyclic graph
power line
data sets
real world
artificial intelligence
information systems