1 paper
Sheng Zhang, Yonghui Ma, Chunning Meng +1
This paper presents a new formal method for verification of quantum communication protocols. By extending the symbolic system of Petri nets, we can define quantum pure states in Pe…