Program algebra for quantitative information flow.

A. K. McIver Carroll C. Morgan T. M. Rabehaja

Published in: J. Log. Algebraic Methods Program. (2019)

Keyphrases

information flow
social networks
information flows
flow analysis
functional modules
qualitative and quantitative
communication networks
information security
supply chain
multi threaded
reactive systems
flow graph
query language
data model
multi context systems
database
database systems