A uniform characterisation of the (a)synchronous must-preorder. - Giovanni Bernardi; Hugo Férée; Gaëtan Lopez (CoRR, 2026)