Tag
This paper studies weak bisimilarities in CCSK, a reversible extension of CCS, proposing two new notions of weak reversible bisimilarity and showing that one is a congruence.