The decohered ZX-calculus. - Titouan Carette; Daniela Cojocaru; Renaud Vilmart (CoRR, 2025)