TY  - RPRT
TI  - An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction
AU  - Yannick Zakowski
AU  - Paul He
AU  - Chung-Kil Hur
AU  - Steve Zdancewic
PY  - 2020
DO  - 10.1145/3372885.3373813
UR  - https://arxiv.org/abs/2001.02659
ID  - 2001.02659
ER  -