Schmitt, Anna; Peters, Kirstin; Deng, Yuxin Encodability criteria for quantum based systems. (English) Zbl 07872352 Log. Methods Comput. Sci. 20, No. 2, Paper No. 5, 45 p. (2024). MSC: 68Q12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wu, Hao; Yang, Qizhe; Long, Huan Branching bisimulation semantics for quantum processes. (English) Zbl 1541.68262 Inf. Process. Lett. 186, Article ID 106492, 11 p. (2024). MSC: 68Q85 68Q55 68Q60 81P68 × Cite Format Result Cite Review PDF Full Text: DOI