An Axiomatic Approach to Information Flow in Programs.

Gregory R. Andrews Richard P. Reitman

Published in: ACM Trans. Program. Lang. Syst. (1980)

Keyphrases

information flow
flow analysis
information flows
social networks
information security
communication networks
flow graph
supply chain
information diffusion
multi threaded
reactive systems
database
databases
greedy algorithm
information propagation
real world