8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
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…