@misc{indiciae19955b4ef2a8,
  title = {An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction},
  author = {Yannick Zakowski and Paul He and Chung-Kil Hur and Steve Zdancewic},
  year = {2020},
  doi = {10.1145/3372885.3373813},
  url = {https://arxiv.org/abs/2001.02659},
  note = {Source identifier: 2001.02659}
}