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

page 1

page 2

page 3

page 4

research
07/05/2019

Operational Semantics of Games

We introduce operational semantics into games. And based on the operatio...
research
06/27/2019

Truly Concurrent Bisimilarities are Game Equivalent

We design games for truly concurrent bisimilarities, including strongly ...
research
07/07/2021

The Quantitative Collapse of Concurrent Games with Symmetry

We explore links between the thin concurrent games of Castellan, Clairam...
research
06/08/2018

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies

Crypto-currencies are digital assets designed to work as a medium of exc...
research
02/08/2021

EigenGame Unloaded: When playing games is better than optimizing

We build on the recently proposed EigenGame that views eigendecompositio...
research
02/28/2019

Fast Concurrent Data Sketches

Data sketches are approximate succinct summaries of long streams. They a...
research
02/22/2020

Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness

Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a para...

Please sign up or login with your details

Forgot password? Click here to reset