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]
@inproceedings{HouM20,
title = {Symbolic bisimulation for open and parameterized systems},
author = {Zechen Hou and Eric Madelaine},
year = {2020},
doi = {10.1145/3372884.3373161},
url = {https://doi.org/10.1145/3372884.3373161},
researchr = {https://researchr.org/publication/HouM20},
cites = {0},
citedby = {0},
pages = {14-26},
booktitle = {Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020},
editor = {Casper Bach Poulsen and Zhenjiang Hu},
publisher = {ACM},
isbn = {978-1-4503-7096-7},
}