2000 character limit reached
Algebra of Concurrent Games (1906.03452v3)
Published 8 Jun 2019 in cs.LO and cs.GT
Abstract: 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.