Verifying Quantum Communication Protocols with Ground Bisimulation.

Xudong Qin Yuxin Deng Wenjie Du

Published in: TACAS (2) (2020)

Keyphrases

communication protocols
quantum computation
communication protocol
quantum computing
communication networks
quantum inspired
model checking
quantum mechanics
management system
ambient intelligence
definite clause
protocol stack
protocol specification