Login / Signup
A Verified Information-Flow Architecture.
Arthur Azevedo de Amorim
Nathan Collins
André DeHon
Delphine Demange
Catalin Hritcu
David Pichardie
Benjamin C. Pierce
Randy Pollack
Andrew Tolmach
Published in:
CoRR (2015)
Keyphrases
</>
information flow
reactive systems
flow analysis
supply chain
communication networks
information security
information flows
multi context systems
social networks
flow graph
process management
emergency management
information transfer
multi threaded
information diffusion
data flow
case study