  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.
