On Compositional Information Flow Aware Refinement.

Christoph Baumann Mads Dam Roberto Guanciale Hamed Nemati

Published in: CSF (2021)

Keyphrases

information flow
information flows
social networks
flow analysis
communication networks
reactive systems
supply chain
information security
flow graph
multi context systems
functional modules
data model
database
object oriented
decision making
information diffusion
multi threaded