{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:35:04Z","timestamp":1781238904785,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,12]],"date-time":"2005-01-12T00:00:00Z","timestamp":1105488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,1,12]]},"DOI":"10.1145\/1040305.1040318","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T12:58:48Z","timestamp":1107089928000},"page":"145-157","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["Communicating quantum processes"],"prefix":"10.1145","author":[{"given":"Simon J.","family":"Gay","sequence":"first","affiliation":[{"name":"University of Glasgow, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rajagopal","family":"Nagarajan","sequence":"additional","affiliation":[{"name":"University of Warwick, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,1,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"CWB-NC: www.cs.sunysb.edu\/~cwb.  CWB-NC: www.cs.sunysb.edu\/~cwb."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021878"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the IEEE International Conference on Computer, Systems and Signal Processing","author":"Bennett C. H.","year":"1984","unstructured":"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 . 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."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00040-1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.92.047904"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","volume-title":"Linear types for packet processing","author":"Ennals R.","year":"2004","unstructured":"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. 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."},{"key":"e_1_3_2_1_8_1","volume-title":"Quantum Computing","author":"Gruska J.","year":"1999","unstructured":"J. Gruska . Quantum Computing . McGraw-Hill , 1999 . J. Gruska. Quantum Computing. McGraw-Hill, 1999."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages","author":"Jorrand P.","year":"2004","unstructured":"P. Jorrand and M. Lalire . A process-algebraic approach to concurrent and distributed quantum computation: operational semantics. In P. Selinger, editor , Proceedings of the 2nd International Workshop on Quantum Programming Languages , 2004 . Also in Quantum Physics Archive : arXiv:quant-ph\/0407005. P. Jorrand and M. Lalire. A process-algebraic approach to concurrent and distributed quantum computation: operational semantics. In P. Selinger, editor, Proceedings of the 2nd International Workshop on Quantum Programming Languages, 2004. Also in Quantum Physics Archive: arXiv:quant-ph\/0407005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"key":"e_1_3_2_1_12_1","first-page":"200","volume-title":"Computer Performance Evaluation (TOOLS'02)","author":"Kwiatkowska M. Z.","year":"2002","unstructured":"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 . 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."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/382780.382781"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.82.1052"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_3_2_1_16_1","volume-title":"March","author":"Nagarajan R.","year":"2002","unstructured":"R. Nagarajan and S. J. Gay . Formal verification of quantum protocols. Quantum Physics Archive: arXiv:quant-ph\/0203086 , March 2002 . R. Nagarajan and S. J. Gay. Formal verification of quantum protocols. Quantum Physics Archive: arXiv:quant-ph\/0203086, March 2002."},{"key":"e_1_3_2_1_17_1","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen M. A.","year":"2000","unstructured":"M. A. Nielsen and I. L. Chuang . Quantum Computation and Quantum Information . Cambridge University Press , 2000 . M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000."},{"key":"e_1_3_2_1_18_1","volume-title":"Quantum programming in QCL. Master's thesis","author":"\u00d6mer B.","year":"2000","unstructured":"B. \u00d6mer . Quantum programming in QCL. Master's thesis , Technical University of Vienna , 2000 . B. \u00d6mer. Quantum programming in QCL. Master's thesis, Technical University of Vienna, 2000."},{"key":"e_1_3_2_1_19_1","volume-title":"Techniques for design and validation of quantum protocols. Master's thesis","author":"Papanikolaou N.","year":"2004","unstructured":"N. Papanikolaou . Techniques for design and validation of quantum protocols. Master's thesis , University of Warwick , 2004 . N. Papanikolaou. Techniques for design and validation of quantum protocols. Master's thesis, University of Warwick, 2004."},{"key":"e_1_3_2_1_20_1","volume-title":"Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5)","author":"Pierce B. C.","year":"1996","unstructured":"B. C. Pierce and D. Sangiorgi . Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5) , 1996 . B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5), 1996."},{"key":"e_1_3_2_1_21_1","volume-title":"Practical quantum key distribution with polarization entangled photons. Quantum Physics Archive: arXiv:quant-ph\/0404115","author":"Poppe A.","year":"2004","unstructured":"A. Poppe , A. Fedrizzi , T. Lor\u00fcnser , O. Maurhardt , R. Ursin , H. R. B\u00f6hm , M. Peev , M. Suda , C. Kurtsiefer , H. Weinfurter , T. Jennewein , and A. Zeilinger . Practical quantum key distribution with polarization entangled photons. Quantum Physics Archive: arXiv:quant-ph\/0404115 , 2004 . A. Poppe, A. Fedrizzi, T. Lor\u00fcnser, O. Maurhardt, R. Ursin, H. R. B\u00f6hm, M. Peev, M. Suda, C. Kurtsiefer, H. Weinfurter, T. Jennewein, and A. Zeilinger. Practical quantum key distribution with polarization entangled photons. Quantum Physics Archive: arXiv:quant-ph\/0404115, 2004."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/367701.367709"},{"key":"e_1_3_2_1_23_1","volume-title":"Modelling and Analysis of Security Protocols","author":"Ryan P.","year":"2001","unstructured":"P. Ryan , S. Schneider , M. Goldsmith , G. Lowe , and B. Roscoe . Modelling and Analysis of Security Protocols . Addison-Wesley , 2001 . P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe. Modelling and Analysis of Security Protocols. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/648085.747181"},{"key":"e_1_3_2_1_25_1","volume-title":"The \u03c6-calculus: a Theory of Mobile Processes","author":"Sangiorgi D.","year":"2001","unstructured":"D. Sangiorgi and D. Walker . The \u03c6-calculus: a Theory of Mobile Processes . Cambridge University Press , 2001 . D. Sangiorgi and D. Walker. The \u03c6-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Computer Science","volume-title":"An interaction-based language and its typing system","author":"Takeuchi K.","year":"1994","unstructured":"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 . 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."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the Second International Workshop on Quantum Programming Languages","author":"Valiron B.","year":"2004","unstructured":"B. Valiron . Quantum typing. In P. Selinger, editor , Proceedings of the Second International Workshop on Quantum Programming Languages , 2004 . B. Valiron. Quantum typing. In P. Selinger, editor, Proceedings of the Second International Workshop on Quantum Programming Languages, 2004."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703432165"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"POPL05: The 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2005","location":"Long Beach California USA","acronym":"POPL05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040318","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040305.1040318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:25:00Z","timestamp":1750249500000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040305.1040318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,12]]},"references-count":29,"alternative-id":["10.1145\/1040305.1040318","10.1145\/1040305"],"URL":"https:\/\/doi.org\/10.1145\/1040305.1040318","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1047659.1040318","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,1,12]]},"assertion":[{"value":"2005-01-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}