Probabilistic weak bisimulation and axiomatization for probabilistic models. - Hao Wu 095; Huan Long (Inf. Process. Lett., 2023)

Branching bisimulation semantics for quantum processes. - Hao Wu 095; Qizhe Yang; Huan Long (Inf. Process. Lett., 2024)