23 citations · 23 across the 1 of their papers we have counts for
1 paper
Rajagopal Nagarajan, Simon Gay
We propose to analyse quantum protocols by applying formal verification techniques developed in classical computing for the analysis of communicating concurrent systems. One area o…