caa a22 4500 445842954 CHVBK 20180317145350.0 cr unu---uuuuu 170323e20111201xx s 000 0 eng 10.1007/s11047-010-9242-9 doi (NATIONALLICENCE)springer-10.1007/s11047-010-9242-9 Distributed quantum programming [Elektronische Daten] [Ellie D'Hondt, Yves Vandriessche] In this paper we explore the structure and applicability of the Distributed Measurement Calculus (DMC), an assembly language for distributed measurement-based quantum computations. We describe the formal language's syntax and semantics, both operational and denotational, and state several properties that are crucial to the practical usability of our language, such as equivalence of our semantics, as well as compositionality and context-freeness of DMC programs. We show how to put these properties to use by constructing a composite program that implements distributed controlled operations, in the knowledge that the semantics of this program does not change under the various composition operations. Our formal model is the basis of a quantum virtual machine construction for distributed quantum computations, which we elaborate upon in the latter part of this work. This virtual machine embodies the formal semantics of DMC such that programming execution no longer needs to be analysed by hand. Far from a literal translation, it requires a substantial concretisation of the formal model at the level of data structures, naming conventions and abstraction mechanisms. At the same time we provide automatisation techniques for program specification where possible to obtain an expressive and user-friendly programming environment. Springer Science+Business Media B.V., 2010 Quantum computing nationallicence Measurement-based quantum computing nationallicence Distributed computing nationallicence Formal models nationallicence Virtual machines nationallicence D'Hondt Ellie Software Languages Lab, Vrije Universiteit Brussel, 10F719, Pleinlaan 2, 1050, Elsene, Belgium aut Vandriessche Yves Software Languages Lab, Vrije Universiteit Brussel, 10F719, Pleinlaan 2, 1050, Elsene, Belgium aut Natural Computing Springer Netherlands 10/4(2011-12-01), 1313-1343 1567-7818 10:4<1313 2011 10 11047 https://doi.org/10.1007/s11047-010-9242-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11047-010-9242-9 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- D'Hondt Ellie Software Languages Lab, Vrije Universiteit Brussel, 10F719, Pleinlaan 2, 1050, Elsene, Belgium aut NATIONALLICENCE 700 1- Vandriessche Yves Software Languages Lab, Vrije Universiteit Brussel, 10F719, Pleinlaan 2, 1050, Elsene, Belgium aut NATIONALLICENCE 773 0- Natural Computing Springer Netherlands 10/4(2011-12-01), 1313-1343 1567-7818 10:4<1313 2011 10 11047 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer