# Truly Concurrent Bisimilarities are Game Equivalent

## TL;DR

This paper introduces game-based methods for analyzing various truly concurrent bisimilarities, providing a unified framework for strongly, branching, pomset, step, and history-preserving bisimilarities.

## Contribution

It develops novel game-theoretic approaches for truly concurrent bisimilarities, covering multiple variants and enhancing the analysis of concurrent systems.

## Key findings

- Game frameworks for strongly truly concurrent bisimilarities
- Game frameworks for branching truly concurrent bisimilarities
- Unified approach for various bisimilarity types

## 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.