  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.
