Recent works have shown that defining a bisimilarity that matches the observational
properties of a quantum-capable, concurrent, non-deterministic system is a surprisingly …