Information flow vs. resource access in the asynchronous pi-calculus.
Matthew HennessyJames RielyPublished in: ACM Trans. Program. Lang. Syst. (2002)
Keyphrases
- information flow
- flow analysis
- information flows
- social networks
- communication networks
- resource allocation
- flow graph
- supply chain
- information security
- resource management
- access control
- multi threaded
- functional modules
- multi context systems
- reactive systems
- case study
- information resources
- shortest path
- decision making
- information systems
- real world
- databases