An equational theory for weak bisimulation via generalized parameterized coinduction

ACM:3372885.3373813 · 1 repo reference this paper in their README