32 citations · 34 across the 2 of their papers we have counts for
2 papers
quant-ph2017★ 2 cited
Formal verification of quantum communication protocols using Petri nets
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…
gr-qc2013★ 32 cited
A comparison between Jordan and Einstein frames of Brans-Dicke gravity a la loop quantum cosmology
Michal Artymowski, Yonnge Ma, Xiangdong Zhang
It is well known that the Jordan and Einstein frames are equivalent to each other in classical Brans-Dicke theory, provided that one and the same metric is employed for the physica…