TY - RPRT TI - Wheeler Bisimulations AU - Nicola Cotumaccio PY - 2026 UR - https://arxiv.org/abs/2602.07964 ID - 2602.07964 ER -