5 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Liyi Li, Le Chang, Rance Cleaveland +2
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The wor…