Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence
You are here
| Title | Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence |
| Publication Type | Conference Paper |
| Year of Publication | 2024 |
| Authors | Koutavas V, Lin Y-Y, Tzevelekos N |
| Conference Name | Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Publisher | Association for Computing Machinery |
| Conference Location | New York, NY, USA |
| ISBN Number | 9798400706608 |
| URL | https://doi.org/10.1145/3661814.3662103 |
| DOI | 10.1145/3661814.3662103 |
