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