Techniques for formal modelling and analysis of quantum systems

Gay, Simon J. and Nagarajan, Rajagopal (2013) Techniques for formal modelling and analysis of quantum systems. In: Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Springer Verlag, pp. 264-276. . (doi:10.1007/978-3-642-38164-5_18)

Full text is not in this repository.

Abstract

Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of familiar techniques from formal methods such as formal logics for specification, formal modelling languages, separation of levels of abstraction, and compositional analysis. We argue that these techniques will be necessary for the analysis of large-scale systems that combine quantum and classical components. We summarize the results of our investigation using different approaches: behavioural equivalence in process calculus, model-checking and equivalence checking. Quantum teleportation is used as an example to illustrate our techniques.

Item Type: Book Section
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 16904
Depositing User: Raja Nagarajan
Date Deposited: 09 Jun 2015 09:00
Last Modified: 13 Oct 2016 14:35
URI: https://eprints.mdx.ac.uk/id/eprint/16904

Actions (login required)

Edit Item Edit Item