Describing and simulating concurrent quantum systems
- Submitting institution
-
Middlesex University
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 786
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-030-45237-7_16
- Title of conference / published proceedings
- Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
- First page
- 271
- Volume
- -
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Compliant
- Month of publication
- April
- Year of publication
- 2020
- URL
-
http://eprints.mdx.ac.uk/29171/
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper presents a programming language for describing and analysing concurrent quantum systems. The language is a development of Gay and Nagarajan's CQP (POPL 2005). The paper describes an interpreter for programs in the language, using a symbolic rather than a numeric calculator. The output of the interpreter is a description of the described programs performance. This paper is significant because it shows the performance of all distributed quantum computation. The examples in the paper are from quantum communication and cryptography, in particular the quantum security protocol BB84.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -