Adding concurrency to quantum dynamic logic

DOI10.1007/978-981-96-0354-1_2MaRDI QIDQ6917175zbMATH OpenFDO

Authors Manisha Jain, Vítor Fernandes, Alexandre Madeira

Publication date 14 October 2025

zbMATH Keywords

quantum programmingparallel operatorawait commandquantum dynamic logic

Mathematics Subject Classification ID

Quantum computation (81P68) Logic programming (68N17) Logic in computer science (03B70) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

This page was built for publication: Adding concurrency to quantum dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6917175)