基于过程演算的量子系统形式化分析
Formal Analysis of Quantum Systems using Process Calculus
摘要：
量子通信和密码协议正在成为一项重要的实用技术。虽然大量的成功的研究已经做了证明他们的正确性，大多数这些工作并没有利用熟悉的技术，从形式化的方法，如形式逻辑的规格说明，形式化建模语言，抽象层次的分离，组合分析。我们认为，这些技术将是必要的，结合量子和经典组件的大规模系统的分析，并总结了使用行为等价过程演算的初步调查结果。本文是西蒙·盖伊在ICE'11上的特邀演讲的摘要。
英文摘要：
Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of familiar techniques from formal methods, such as formal logics for specification, formal modelling languages, separation of levels of abstraction, and compositional analysis. We argue that these techniques will be necessary for the analysis of large-scale systems that combine quantum and classical components, and summarize the results of initial investigation using behavioural equivalence in process calculus. This paper is a summary of Simon Gay's invited talk at ICE'11.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
