Algebra of Concurrent Games

06/08/2019
by   Yong Wang, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset