17 citations · 59 across the 35 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Operational Semantics of Games
Yong Wang
We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent…
cs.LO2019
Truly Concurrent Bisimilarities are Game Equivalent
Yong Wang
We design games for truly concurrent bisimilarities, including strongly truly concurrent bisimilarities and branching truly concurrent bisimilarities, such as pomset bisimilarities…
cs.LO2019★ 1 cited
Algebra of Concurrent Games
Yong Wang
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 con…