Scheduling Games for Concurrent Systems.
Kasper DokterSung-Shik JongmansFarhad ArbabPublished in: COORDINATION (2016)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- model checking
- transition systems
- formal specification
- scheduling algorithm
- scheduling problem
- petri net
- process algebra
- video games
- computer games
- game theory
- educational games
- coalitional games
- parallel machines
- round robin
- real time database systems
- perfect information
- game theoretic
- game playing
- game design
- wafer fabrication