Zechen Hou, Eric Madelaine. Symbolic bisimulation for open and parameterized systems. In Casper Bach Poulsen, Zhenjiang Hu, editors, Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020. pages 14-26, ACM, 2020. [doi]