Can I read Automated Quantum Protocol Verification Based On Concurrent Dynamic Quantum Logic on EtoBox?

Automated Quantum Protocol Verification Based On Concurrent Dynamic Quantum Logic by roland.m.tran is a document available to read on EtoBox.

What is Automated Quantum Protocol Verification Based On Concurrent Dynamic Quantum Logic about?

This paper introduces Concurrent Dynamic Quantum Logic (CDQL), an extension of Basic Dynamic Quantum Logic (BDQL), to formalize and verify concurrent models of quantum protocols, addressing the limitations of BDQL in representing parallel behavior. The authors developed a support tool in Maude that incorporates a lazy rewriting strategy to enhance the verification process, allowing for efficient analysis of various quantum communication protocols. The effectiveness of this automated approach is demonstrated

Author

roland.m.tran

Language

EN