A Game-theoretic operational semantics for the DALI Communication Architecture