Published in: OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
Manisha Jain, Vitor Fernandes, Alexandre Madeira, and Luís S. Barbosa. Exploring a Quantum Programming Language with Concurrency. In Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 16:1-16:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{jain_et_al:OASIcs.Programming.2025.16,
author = {Jain, Manisha and Fernandes, Vitor and Madeira, Alexandre and Barbosa, Lu{\'\i}s S.},
title = {{Exploring a Quantum Programming Language with Concurrency}},
booktitle = {Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)},
pages = {16:1--16:9},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-382-9},
ISSN = {2190-6807},
year = {2025},
volume = {134},
editor = {Edwards, Jonathan and Perera, Roly and Petricek, Tomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.16},
URN = {urn:nbn:de:0030-drops-243001},
doi = {10.4230/OASIcs.Programming.2025.16},
annote = {Keywords: Quantum programming, semantics prototyping, Maude}
}