Weak reversible bisimilarities in CCSK: two variants (directional and mixed) proposed for tau actions; study differences among strong/weak and forward-only/reversible notions.
Read the original at arxiv.org→arXiv:2608.11531v1 Announce Type: new Abstract: In the context of CCSK, a reversible extension of CCS, we study different notions of bisimilarity (strong/weak, forward-only/reversible) and highlight their...
Original headline: "On Weak Bisimilarities in CCSK"
Coverage timeline
- Aug 13, 04:00 UTC arXiv cs.CL lead source On Weak Bisimilarities in CCSK