Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management.
Ahmed BouajjaniPeter HabermehlTomás VojnarPublished in: CONCUR (2003)
Keyphrases
- concurrent systems
- resource management
- temporal logic
- distributed systems
- model checking
- resource allocation
- process algebra
- management system
- petri net
- formal specification
- quality of service
- computing resources
- grid computing
- resource utilization
- intelligent agents
- admission control
- real time
- power control
- resource usage
- cooperative