Skip to main content
Article thumbnail
Location of Repository

Definition of the QMC Specification Language

By Nikolaos Papanikolaou


1 Language Description Various programming and specification formalisms have been proposed in order to address the shortcomings of the quantum circuit model when describing quantum protocols. These include quantum programming languages and quantum process algebras (see [2] for a survey). We have built an imperativestyle concurrent specification language for the needs of the quantum model-checking tool QMC. We will proceed to discuss the nature of this specification language, stating its formal syntax and semantics. The language is designed to allow for the description of systems with classical data and communication as well as manipulation and transmission of a finite number of qubits. A QMC model consists of: (1) a set of process declarations, and (2) a set of global (channel) variable declarations

Year: 2008
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.