199 followers
Up-to Techniques for Branching Bisimilarity https://t.co/hB46m0jWhJ
Up-to Techniques for Branching Bisimilarity https://t.co/hB46m0jWhJ
"Up-to Techniques for Branching Bisimilarity. (arXiv:2001.08944v1 [cs.LO])" #arXiv https://t.co/6OXClNtaaL