Login / Signup
Quantitative Information Flow, Relations and Polymorphic Types.
David Clark
Sebastian Hunt
Pasquale Malacaria
Published in:
J. Log. Comput. (2005)
Keyphrases
</>
information flow
flow analysis
information flows
social networks
communication networks
functional modules
multi threaded
reactive systems
information security
information propagation
flow graph
database
information technology
software engineering
peer to peer