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.
CITATION STYLE
Bornat, R., Boender, J., Kammueller, F., Poly, G., & Nagarajan, R. (2020). Describing and Simulating Concurrent Quantum Systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12079 LNCS, pp. 271–277). Springer. https://doi.org/10.1007/978-3-030-45237-7_16
Mendeley helps you to discover research relevant for your work.