Communicating quantum processes

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2005, Pages 145-157

  Gay, Simon J J ^a   Nagarajan, Rajagopal ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

Formal language; Quantum communication; Quantum computing; Semantics; Types; Verification

Indexed keywords

COMMUNICATION SYSTEMS; QUANTUM CRYPTOGRAPHY; SEMANTICS;

COMMUNICATING QUANTUM PROCESSES (CQP); QUANTUM COMPUTING; QUANTUM STATE;

FORMAL LANGUAGES;

EID: 29144444099     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1040305.1040318     Document Type: Conference Paper

References (31)

1. CWB-NC: www.cs.sunysb.edu/~cwb.
2. S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. In Proceedings, Nineteenth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 2004.
3. C. H. Bennett and G. Brassard. Quantum Cryptography: Public-key Distribution and Coin Tossing. In Proceedings of the IEEE International Conference on Computer, Systems and Signal Processing, Bangalore, India, pages 175-179, 1984.
4. C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett., 70:1895-1899, 1993.
5. D. Cazorla, F. Cuartero, V. Valero, F. L. Pelayo, and J. J. Pardo. Algebraic theory of probabilistic and nondeterministlc processes. Journal of Logic and Algebraic Programming, 55:57-103, 2003.
6. H. de Riedmatten, I. Marcikic, W. Tittel, H. Zbinden, D. Collins, and N. Gisin, Long distance quantum teleportation in a quantum relay configuration, Phys. Rev. Lett., 92(4), 2004.
7. R. Ennals, R. Sharp, and A. Mycroft, Linear types for packet processing. In D. Schmidt, editor, ESOP 2004: Proceedings of the European Symposium on Programming, volume 2986 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
8. J. Gruska. Quantum Computing. McGraw-Hill, 1999.
9. P. Jorrand and M. Lalire. A process-algebraic approach to concurrent and distributed quantum computation: operational semantics, In P. Selinger, editor, Proceedings of the end International Workshop on Quantum Programming Languages, 2004
10. . Also in Quantum Physics Archive: arXiv:quant-ph/0407006.
11. E. Knill. Conventions for quantum pseudocode. Technical Report LAUR-96-2724, Los Alamos National Laboratory, 1996.
12. N. Kobayashi, B. C. Pierce, and D. N. Turner. Linearity and the Pi-Calculus, ACM Transactions on Programming Languages and Systems, 21(5):914-947, September 1999.
13. M. Z. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In T. Field, P. Harrison, J. Bradley, and U. Harder, editors, Computer Performance Evaluation (TOOLS'02), pages 200-204. Springer-Verlag, 2002.
14. D. Mayers. Unconditional Security in Quantum Cryptography. Journal of the ACM, 48(3):351-406, May 2001.
15. D. A. Meyer. Quantum strategies. Phys. Rev. Lett., 82(5), 1999.
16. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1):1-77, September 1992.
17. R. Nagarajan and S. J. Gay. Formal verification of quantum protocols. Quantum Physics Archive: arXiv:quant-ph/0203086, March 2002.
18. M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
19. B. Ömer. Quantum programming in QCL. Master's thesis, Technical University of Vienna, 2000.
20. N. Papanlkolaou. Techniques for design and validation of quantum protocols. Master's thesis, University of Warwick, 2004.
21. B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5), 1996.
22. A. Poppe, A. Fedrizzi, T. Lorünser, O. Maurhardt, R. Ursin, H. R. Böhm, M. Peev, M. Suda, C. Kurtsiefer, H. Weinfurter, T. Jennewein, and A. Zellinger, Practical quantum key distribution with polarization entangled photons. Quantum Physics Archive: arXiv:quant-ph/0404115, 2004.
23. E. G. Rieffel and W. Polak. An introduction to quantum computing for non-physicists. ACM Computing Surveys, 32(3):300-335, 2000.
24. P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe, Modelling and Analysis of Security Protocols. Addison-Wesley, 2001.
25. J. W. Sanders and P. Zuliani, Quantum programming. In Mathematics of Program Construction, volume 1837 of Springer LNCS, 2000.
26. D. Sangiorgi and D. Walker, The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001.
27. P. Selinger. Towards a quantum programming language, Mathematical Structures in Computer Science, 14(4):527-586, 2004.
28. K. Takeuchi, K. Honda, and M. Kubo. An interaction-based language and its typing system. In C. Halatsis, D. G. Maritsas, G. Philokyprou, and S. Theodoridis, editors, PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Proceedings, volume 817 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
29. B. Valiron. Quantum typing. In P. Selinger, editor, Proceedings of the Second International Workshop on Quantum Programming Languages, 2004.
30. A. van Tonder. A lambda calculus for quantum computation. SIAM Journal on Computing, 33(5):1109-1135, 2004.
31. A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.