On Weak Bisimilarities in CCSK

Baptiste Vallée, Ivan Lanese

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 commona…