51 citations · 115 across the 10 of their papers we have counts for
1 paper · 2 filters
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…