2019/06/08 by Yong Wang, Wang, Yong
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.GT #cs.LO
paper · pdf · doi:10.48550/arxiv.1906.03452
5 pages
arxiv created 2019/09/03 · arxiv updated 2019/09/04
We introduce parallelism into the basic algebra of games to model concurrent game algebraically. Parallelism is treated as a new kind of game operation. The resulted algebra of concurrent games can be used widely to reason the parallel systems.