TY  - RPRT
TI  - Branching Place Bisimilarity
AU  - Roberto Gorrieri
PY  - 2023
UR  - https://arxiv.org/abs/2305.04222
ID  - 2305.04222
ER  -