18 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan +1
We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer sc…