Algebra of Concurrent Games
Logic in Computer Science
2019-09-04 v3 Computer Science and Game Theory
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.
Keywords
Cite
@article{arxiv.1906.03452,
title = {Algebra of Concurrent Games},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1906.03452},
year = {2019}
}
Comments
5 pages