Algebra of Concurrent Games

06/08/2019

∙

by   Yong Wang, et al.

∙

0

∙

share

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.