In this paper we explore the structure and applicability of the DistributedMeasurement Calculus (DMC), an assembly language for distributedmeasurement-based quantum computations. We describe the formal language's syntax and semantics, both operational and denotational, and state severalproperties 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 formalsemantics 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.
Original languageEnglish
Pages (from-to)1313-1343
Number of pages31
JournalNatural Computing
Volume10
Issue numberSpecial Issue: Unconventional Computation (UC2009)
Publication statusPublished - 2011

    Research areas

  • quantum computation, distributed computing, virtual machines, formal semantics

ID: 1880987