TY - RPRT TI - The complexity of bisimilarity on pointmass processes AU - Martín Santiago Moroni AU - Pedro Sánchez Terraf PY - 2026 UR - https://arxiv.org/abs/2604.06443 ID - 2604.06443 ER -