论文信息 - Describing and Simulating Concurrent Quantum Systems

Describing and Simulating Concurrent Quantum Systems

We present a programming language for describing and analysing concurrent quantum systems. We have an interpreter for programs in the language, using a symbolic rather than a numeric calculator, and we give its performance on examples from quantum communication and cryptography.

[1] Ekert,et al. Practical quantum cryptography based on two-photon interferometry. , 1992, Physical review letters.

[2] ROBIN MILNER,et al. Edinburgh Research Explorer A Calculus of Mobile Processes, I , 2003 .

[3] Rajagopal Nagarajan,et al. Formalization of Quantum Protocols using Coq , 2015, QPL.

[4] Rajagopal Nagarajan,et al. Communicating quantum processes , 2004, POPL '05.

[5] Gilles Brassard,et al. Quantum cryptography: Public key distribution and coin tossing , 2014, Theor. Comput. Sci..

[6] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[7] Charles H. Bennett,et al. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[8] A. Datta,et al. Reducing resources for verification of quantum computations , 2017, Physical Review A.

[9] Larry Carter,et al. New Hash Functions and Their Use in Authentication and Set Equality , 1981, J. Comput. Syst. Sci..

[10] D. A. Turner,et al. Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.