{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T17:39:05Z","timestamp":1748367545744},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278849"},{"type":"electronic","value":"9783540314820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11527800_1","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T14:20:04Z","timestamp":1294842004000},"page":"1-16","source":"Crossref","is-referenced-by-count":8,"title":["From Quantum Physics to Programming Languages: A Process Algebraic Approach"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Jorrand","sequence":"first","affiliation":[]},{"given":"Marie","family":"Lalire","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Category Therory and Computer Science (CTCS 2002)","author":"S. Abramsky","year":"2003","unstructured":"Abramsky, S., Coecke, B.: Physical traces: Quantum vs. Classical Information Processing. In: Blute, R., Selinger, P. (eds.) Category Therory and Computer Science (CTCS 2002). Electronic Notes in Theoretical Computer Science, vol.\u00a069. Elsevier, Amsterdam (2003)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A Categorical Semantics of Quantum Protocols. In: Ganzinger, H. (ed.) Logic in Computer Science (LICS 2004). IEEE Proceedings, pp. 415\u2013425 (2004)","DOI":"10.1109\/LICS.2004.1319636"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","volume":"70","author":"C. Bennet","year":"1993","unstructured":"Bennet, C., Brassard, G., Crepeau, C., Jozsa, R., Peres, A., Wootters: Teleporting an Unknown Quantum State via Dual Classical and EPR Channels. Physical Review Letters\u00a070, 1895\u20131899 (1993)","journal-title":"Physical Review Letters"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Birkhoff, G., von Neumann, J.: Annals of Mathematics, vol.\u00a037, p. 823 (1936)","DOI":"10.2307\/1968621"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1142\/S0219749904000067","volume":"2","author":"O. Brunet","year":"2004","unstructured":"Brunet, O., Jorrand, P.: Dynamic Logic for Quantum Programs. International Journal of Quantum Information (IJQI)\u00a02(1), 45\u201354 (2004)","journal-title":"International Journal of Quantum Information (IJQI)"},{"issue":"1-2","key":"1_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/S1567-8326(02)00040-1","volume":"55","author":"D. Carloza","year":"2003","unstructured":"Carloza, D., Cuartero, F., Valero, V., Pelayo, F.L., Pardo, J.: Algebraic Theory of Probabilistic and Nondeterministic Processes. The Journal of Logic and Algebraic Programming\u00a055(1-2), 57\u2013103 (2003)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"1_CR7","unstructured":"D\u2019Hondt, E., Panangaden, P.: Quantum Weakest Preconditions. In: [25]"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D. Deutsch","year":"1985","unstructured":"Deutsch, D.: Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings Royal Society London A\u00a0400, 97 (1985)","journal-title":"Proceedings Royal Society London A"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-540-27836-8_42","volume-title":"Automata, Languages and Programming","author":"C. Durr","year":"2004","unstructured":"Durr, C., Heiligman, M., Hoyer, P., Mhalla, M.: Quantum query complexity of some graph problems. In: Diaz, J. (ed.) ICALP 2004. LNCS, vol.\u00a03142, pp. 481\u2013493. Springer, Heidelberg (2004)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R.P. Feynmann","year":"1982","unstructured":"Feynmann, R.P.: Simulating Physics with Computers. International Journal of Theoretical Physics\u00a021, 467 (1982)","journal-title":"International Journal of Theoretical Physics"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Nagarajan, R.: Communicating Quantum Processes. In: [25],","DOI":"10.1145\/1040305.1040318"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Between Logic and Quantic: a Tract. Unpublished manuscript (2004)","DOI":"10.1017\/CBO9780511550850.011"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A Fast Quantum Mechanical Algorithm for Database Search. In: Proceedings 28th ACM Symposium on Theory of Computing (STOC 1996), pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"1_CR14","unstructured":"Jorrand, P., Perdrix, S.: Unifying Quantum Computation with Projective Measurements only and One-Way Quantum Computation. Los Alamos e-print arXiv (2004), http:\/\/arxiv.org\/abs\/quant-ph\/0404125"},{"key":"1_CR15","unstructured":"Kempe, J.: Quantum Random Walks - An Introductory Overview. Los Alamos e-print arXiv (2003), http:\/\/arxiv.org\/abs\/quant-ph\/0303081"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Kitaev, A.Y., Shen, A.H., Vyalyi, M.N.: Classical and Quantum Computation. American Mathematical Society, Graduate Studies in Mathematics\u00a047 (2002)","DOI":"10.1090\/gsm\/047"},{"key":"1_CR17","unstructured":"Lalire, M., Jorrand, P.: A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics. In: [25]"},{"key":"1_CR18","unstructured":"Leung, D.W.: Quantum Computation by Measurements. Los Alamos e-print arXiv (2003), http:\/\/arxiv.org\/abs\/quant-ph\/0310189"},{"key":"1_CR19","unstructured":"Lomont, C.: The Hidden Subgroup Problem \u2013 Review and Open Problems. Los Alamos e-print arXiv (2004), http:\/\/arxiv.org\/abs\/quant-ph\/0411037"},{"key":"1_CR20","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1999)"},{"key":"1_CR21","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"1_CR22","unstructured":"\u00d6mer, B.: Quantum Programming in QCL. Master\u2019s Thesis, Institute of Information Systems, Technical University of Vienna (2000)"},{"key":"1_CR23","unstructured":"Raussendorf, R., Browne, D.E., Briegel, H.J.: Measurement-based Quantum Computation with Cluster States. Los Alamos e-print arXiv (2003), http:\/\/arxiv.org\/abs\/quant-ph\/0301052"},{"key":"1_CR24","unstructured":"Rieffel, E.G., Polak, W.: An Introduction to Quantum Computing for Non-Physicists. Los Alamos e-print arXiv (1998), http:\/\/arxiv.org\/abs\/quant-ph\/9809016"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Selinger, P. (ed.) Proceedings of 2nd International Workshop on Quantum Programming Languages (2004), http:\/\/quasar.mathstat.uottawa.ca\/~selinger\/qpl2004\/proceedings.html","DOI":"10.1007\/978-3-540-24754-8_1"},{"issue":"4","key":"1_CR26","first-page":"525","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: Towards a Quantum Programming Language. Mathematical Structures in Computer Science. Cambridge University Press\u00a014(4), 525\u2013586 (2004)","journal-title":"Mathematical Structures in Computer Science. Cambridge University Press"},{"key":"1_CR27","unstructured":"Shor, P.W.: Algorithms for Quantum Computation: Discrete Logarithms and Factoring. In: Proceedings 35th Annual Symposium on Foundations of Computer Science, IEEE Proceedings (1994)"},{"key":"1_CR28","unstructured":"Van Tonder, A.: A Lambda Calculus for Quantum Computation. Los Alamos e-print arXiv (2003), http:\/\/arxiv.org\/abs\/quant-ph\/0307150"},{"key":"1_CR29","unstructured":"Van Tonder, A.: Quantum Computation, Categorical Semantics and Linear Logic. Los Alamos e-print arXiv (2003), http:\/\/arxiv.org\/abs\/quant-ph\/0312174"},{"key":"1_CR30","unstructured":"Zuliani, P.: Quantum Programming. PhD Thesis, St. Cross College, Oxford University (2001)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Programming Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11527800_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:42Z","timestamp":1605643662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11527800_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278849","9783540314820"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11527800_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}