# On Weak Bisimilarities in CCSK

arXiv: https://arxiv.org/abs/2608.11531 · HTML: https://mlsanity.com/paper/2608.11531/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 23 references that are in the map.
- First posted on arXiv 12 Aug 2026.

## Builds on (most cited first, 1 of 1)

- [A Theory of Reversibility for Erlang](https://mlsanity.com/paper/1806.07100/) (2018)

## Abstract (arXiv)

In the context of CCSK, a reversible extension of CCS, we study different notions of bisimilarity (strong/weak, forward-only/reversible) and highlight their differences and commonalities. In particular, for the weak reversible case, not previously studied in the literature, we propose two variants, dubbed directional and mixed bisimilarity, depending on whether τ actions should be in the same direction (forward/backward) as the action being matched or not. We show, in particular, that mixed bisimilarity is a congruence and completely abstracts away from τ actions.