Describing and simulating concurrent quantum systems
Bornat, Richard 
ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Poly, Guillaume and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962
(2020)
Describing and simulating concurrent quantum systems.
Biere, Armin and Parker, David, eds.
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.
In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin.
ISBN 9783030452360, e-ISBN 9783030452377.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-030-45237-7_16)
|
PDF
- Published version (with publisher's formatting)
Available under License Creative Commons Attribution 4.0. Download (2MB) | Preview |
|
![[img]](https://eprints.mdx.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only Available under License Creative Commons Attribution 4.0. Download (454kB) |
Abstract
We present a programming language for describing and analysing concurrent quantum systems. We have an interpreter for programs in the language, using a symbolic rather than a numeric calculator, and we give its performance on examples from quantum communication and cryptography.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Paper published as:
Bornat R., Boender J., Kammueller F., Poly G., Nagarajan R. (2020) Describing and Simulating Concurrent Quantum Systems. In: Biere A., Parker D. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes in Computer Science, vol 12079. Springer, Cham |
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group |
| Item ID: | 29171 |
| Notes on copyright: | © The Author(s) 2020
Open Access: This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. |
| Useful Links: | |
| Depositing User: | Professor Richard Bornat |
| Date Deposited: | 27 Feb 2020 11:08 |
| Last Modified: | 29 Nov 2022 18:29 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/29171 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)