1. A process algebra for reasoning about quantum security;Adão;Electronic Notes in Theoretical Computer Science,2007
2. Correctness proofs of distributed termination algorithms;Apt;ACM Transactions on Programming Languages and Systems,1986
3. Equivalence checking of quantum protocols;Ardeshir-Larijani,2013
4. Verification of concurrent quantum protocols by equivalence checking;Ardeshir-Larijani,2014
5. Automated equivalence checking of concurrent quantum systems;Ardeshir-Larijani;ACM Transactions on Computational Logic,2018