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  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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.