{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T04:10:40Z","timestamp":1648872640628},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,12,21]],"date-time":"2010-12-21T00:00:00Z","timestamp":1292889600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11047-010-9242-9","type":"journal-article","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T06:35:43Z","timestamp":1292826943000},"page":"1313-1343","source":"Crossref","is-referenced-by-count":0,"title":["Distributed quantum programming"],"prefix":"10.1007","volume":"10","author":[{"given":"Ellie","family":"D\u2019Hondt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves","family":"Vandriessche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,12,21]]},"reference":[{"key":"9242_CR1","unstructured":"Ad\u00e3o P, Mateus P (2005) A process algebra for reasoning about quantum security. In: Selinger P (ed) Proceedings of the 3rd workshop on quantum programming languages (QPL04), pp 3\u201320"},{"key":"9242_CR2","unstructured":"Bennett C, Brassard G (1984) Quantum cryptography: public key distribution and coin tossing. In: Proceedings of the IEEE international conference on computers, systems and signal processing, Bangalore, India"},{"issue":"2","key":"9242_CR3","doi-asserted-by":"crossref","first-page":"822","DOI":"10.1103\/PhysRevA.57.822","volume":"57","author":"S Bose","year":"1998","unstructured":"Bose S, Vedral V, Knight PL (1998) Multiparticle generalization of entanglement swapping. Phys Rev A 57(2):822\u2013829","journal-title":"Phys Rev A"},{"key":"9242_CR4","doi-asserted-by":"crossref","unstructured":"Brock J, Ackerman W (1981) Scenarios: a model of non-determinate computation. In: Diaz J, Ramos I (eds) Formalizations of programming concepts, vol 107. Springer-Verlag, New York","DOI":"10.1007\/3-540-10699-5_102"},{"key":"9242_CR5","unstructured":"Danos V, D\u2019Hondt E, Kashefi E, Panangaden P (2005) Distributed measurement-based quantum computation. In: Selinger P (ed) Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), volume 170 of ENTCS, pp 73\u201394, quant-ph\/0506070"},{"key":"9242_CR6","doi-asserted-by":"crossref","unstructured":"Danos V, Kashefi E, Panangaden P (2007) The measurement calculus. JACM 54(2). doi: 10.1145\/1219092.1219096 . quant-ph\/0704.1263v1","DOI":"10.1145\/1219092.1219096"},{"key":"9242_CR7","unstructured":"Desmet B, D\u2019Hondt E, Costanza P, D\u2019Hondt T (2006) Simulation of quantum computations in Lisp. In: Lisp workshop at ECOOP (submitted)"},{"key":"9242_CR8","unstructured":"D\u2019Hondt E (2005) Distributed quantum computation\u2014a measurement-based approach. PhD thesis, Vrije Universiteit Brussel"},{"key":"9242_CR9","unstructured":"Gay SJ, Nagarajan R (2004) Communicating quantum processes. In: Selinger P (ed) Proceedings of the 2nd workshop on quantum programming languages (QPL04), Turku, Finland. Turku Centre for Computer Science, TUCS General Publication no. 33"},{"key":"9242_CR10","unstructured":"Gay SJ, Nagarajan R, Papanikolaou N (2005) Probabilistic model-checking of quantum protocols. In: Proceedings of the 2nd international workshop on developments in computational models (DCM 2006)"},{"issue":"5","key":"9242_CR11","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/1168917.1168877","volume":"40","author":"M Gordon","year":"2006","unstructured":"Gordon M, Thies W, and Amarasinghe S (2006) Exploiting coarse-grained task, data, and pipeline parallelism in stream programs. ACM SIGOPS Oper Syst Rev 40(5):162","journal-title":"ACM SIGOPS Oper Syst Rev"},{"key":"9242_CR12","unstructured":"Jorrand P, Lalire M (2005) Toward a quantum process algebra. In: Proceedings of the first conference on computing frontiers. ACM Press, pp 111\u2013119"},{"key":"9242_CR13","unstructured":"Lalire M, Jorrand P (2004) A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: Selinger P (ed) Proceedings of the 2nd workshop on Quantum Programming Languages (QPL04), Turku, Finland. Turku Centre for Computer Science, TUCS General Publication no. 33"},{"key":"9242_CR14","doi-asserted-by":"crossref","unstructured":"McCarthy J (1960) Recursive functions of symbolic expressions and their computation by machine. Commun ACM 3:184\u2013195","DOI":"10.1145\/367177.367199"},{"key":"9242_CR15","volume-title":"Quantum computation and quantum information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen MA, Chuang I (2000) Quantum computation and quantum information. Cambridge University Press, Cambridge"},{"key":"9242_CR16","unstructured":"Raedt KD, Michielsen K, Raedt HD, Trieu B, Arnold G, Richter M, Lippert T, Watanabe H, Ito N (2006) Massive parallel quantum computer simulator. quant-ph\/0608239"},{"issue":"2","key":"9242_CR17","doi-asserted-by":"crossref","first-page":"022312","DOI":"10.1103\/PhysRevA.68.022312","volume":"68","author":"R Raussendorf","year":"2003","unstructured":"Raussendorf R, Browne DE, Briegel HJ (2003) Measurement-based quantum computation on cluster states. Phys Rev A 68(2):022312","journal-title":"Phys Rev A"},{"key":"9242_CR18","unstructured":"Selinger P (2003) Towards a quantum programming language. Math Struct Comput Sci 14(4):527\u2013586"},{"issue":"1","key":"9242_CR19","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/MC.2006.4","volume":"39","author":"KM Svore","year":"2006","unstructured":"Svore KM, Aho AV, Cross AW, Chuang IL, Markov IL (2006) A layered software architecture for quantum computing design tools. IEEE Comput 39(1):74\u201383","journal-title":"IEEE Comput"},{"key":"9242_CR20","unstructured":"Verhaegen S (2009) Stream programming for quantum computing. Master\u2019s thesis, Vrije Universiteit Brussel"},{"key":"9242_CR21","doi-asserted-by":"crossref","unstructured":"Yimsiriwattana A, Lomonaco SJ (2005) Generalized GHZ states and distributed quantum computing. AMS Contemp Math 381:131\u2013147","DOI":"10.1090\/conm\/381\/07096"},{"issue":"26","key":"9242_CR22","doi-asserted-by":"crossref","first-page":"4287","DOI":"10.1103\/PhysRevLett.71.4287","volume":"71","author":"M Zukowski","year":"1993","unstructured":"Zukowski M, Zeilinger A, Horne MA, Ekert A (1993) \u201cEvent-ready detectors\u201d Bell experiment via entanglement swapping. Phys Rev Lett 71(26):4287\u20134290","journal-title":"Phys Rev Lett"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9242-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-010-9242-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9242-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T05:56:00Z","timestamp":1559886960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-010-9242-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,21]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["9242"],"URL":"https:\/\/doi.org\/10.1007\/s11047-010-9242-9","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,21]]}}}