TL;DR
This paper introduces an algebraic framework for modeling concurrent games by incorporating parallelism as a new operation, enabling algebraic reasoning about parallel systems.
Contribution
It extends the basic game algebra with parallelism, providing a novel algebraic structure for concurrent game modeling.
Findings
Developed an algebraic structure for concurrent games.
Demonstrated the applicability of the algebra to reasoning about parallel systems.
Introduced parallelism as a new operation in game algebra.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsArtificial Intelligence in Games · Logic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms