Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency.
Adrian FrancalanzaEdsko de VriesMatthew HennessyPublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- resource management
- channel assignment
- management system
- resource allocation
- computing resources
- intelligent agents
- quality of service
- power control
- grid computing
- knowledge base
- resource utilization
- admission control
- multi channel
- java platform
- natural resources
- database systems
- databases
- network resources
- ad hoc networks
- distributed systems
- grid systems
- resource usage
- wireless sensor networks
- blocking probability
- database