@misc{indiciae9cc17b1f65be, title = {Process Equivalence Problems as Energy Games}, author = {Benjamin Bisping}, year = {2023}, doi = {10.1007/978-3-031-37706-8\_5}, url = {https://arxiv.org/abs/2303.08904}, note = {Source identifier: 2303.08904} }