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, P. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. ISBN 978-3-030-45236-0, e-ISBN 978-3-030-45237-7. (doi:10.1007/978-3-030-45237-7_16)

[img]
Preview
PDF - Published version (with publisher's formatting)
Available under License Creative Commons Attribution.

Download (2MB) | Preview
[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only
Available under License Creative Commons Attribution.

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: 23 Apr 2020 14:49
URI: https://eprints.mdx.ac.uk/id/eprint/29171

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year