3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Anya Tafliovich, Eric C. R. Hehner
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing progr…