118 citations · 381 across the 16 of their papers we have counts for
1 paper · 1 filter
Simon J. Gay, Ittoop Vergheese Puthoor
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…