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