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
Dai, Guiping Formal verification for KMB09 protocol. (English) Zbl 1468.81029 Int. J. Theor. Phys. 58, No. 11, 3651-3657 (2019). MSC: 81P68 × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Yong Entanglement in quantum process algebra. (English) Zbl 1468.81017 Int. J. Theor. Phys. 58, No. 11, 3611-3626 (2019). MSC: 81P40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wang, Yong Probabilistic process algebra to unifying quantum and classical computing in closed systems. (English) Zbl 1428.81062 Int. J. Theor. Phys. 58, No. 10, 3436-3509 (2019). MSC: 81P68 68W01 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wang, Yong An axiomatization for quantum processes to unifying quantum and classical computing. (English) Zbl 1468.81032 Int. J. Theor. Phys. 58, No. 10, 3295-3322 (2019). MSC: 81P68 81P45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ren, Xingtian; Wang, Yong; Dai, Guiping Quantum process algebra with priorities. (English) Zbl 1383.81060 Int. J. Theor. Phys. 56, No. 8, 2601-2606 (2017). MSC: 81P68 68Q12 81Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Ying, Mingsheng; Li, Yangjia; Yu, Nengkun; Feng, Yuan Model-checking linear-time properties of quantum systems. (English) Zbl 1354.68090 ACM Trans. Comput. Log. 15, No. 3, Article No. 22, 31 p. (2014). MSC: 68Q12 68Q45 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng Symbolic bisimulation for quantum processes. (English) Zbl 1291.68237 ACM Trans. Comput. Log. 15, No. 2, Article No. 14, 32 p. (2014). MSC: 68Q55 68Q85 81P68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Li, Yangjia; Yu, Nengkun; Ying, Mingsheng Termination of nondeterministic quantum programs. (English) Zbl 1359.68092 Acta Inf. 51, No. 1, 1-24 (2014). MSC: 68Q12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
D’hondt, Ellie; Vandriessche, Yves Distributed quantum programming. (English) Zbl 1251.68115 Nat. Comput. 10, No. 4, 1313-1343 (2011). MSC: 68Q12 68Q55 81P68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng Probabilistic bisimulations for quantum processes. (English) Zbl 1130.68079 Inf. Comput. 205, No. 11, 1608-1639 (2007). MSC: 68Q85 68Q10 81P68 × Cite Format Result Cite Review PDF Full Text: DOI Link