Truly Concurrent Bisimilarities are Game Equivalent

06/27/2019

∙

by   Yong Wang, et al.

∙

0

∙

share

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.