An equational theory for weak bisimulation via generalized parameterized coinduction.

Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic

Browse the full CPP paper archive.