TY - RPRT TI - The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse AU - Clemens Grabmayer PY - 2023 UR - https://arxiv.org/abs/2303.08553 ID - 2303.08553 ER -