Truly Concurrent Bisimilarities are Game Equivalent
arXiv:1907.02860
Abstract
We design games for truly concurrent bisimilarities, including strongly truly concurrent bisimilarities and branching truly concurrent bisimilarities, such as pomset bisimilarities, step bisimilarities, history-preserving bisimilarities and hereditary history-preserving bisimilarities.
7 pages