32 citations · 34 across the 2 of their papers we have counts for
1 paper · 1 filter
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…