高次元量子プロトコルの形式検証

量子プロセス代数を用いて高次元量子プロトコルの正しさを検証することができる。