Sign in
Encoding information flow in Aura.
Limin Jia
Steve Zdancewic
Published in:
PLAS (2009)
Keyphrases
</>
information flow
flow analysis
information flows
social networks
communication networks
gray level
multi threaded
functional modules
supply chain
reactive systems
multi context systems
database
metadata
business processes
information propagation