Categorical combinatorics of scheduling and synchronization in game semantics.
Paul-André MellièsPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- formal semantics
- scheduling problem
- video games
- round robin
- computer games
- scheduling algorithm
- game play
- semantic information
- game theory
- conceptual model
- resource constraints
- game playing
- game design
- flexible manufacturing systems
- categorical data
- game theoretic
- game based learning
- nash equilibrium
- graph theory
- data model
- real time database systems
- cooperative