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

Full work available at URL https://doi.org/10.1007/978-981-96-0354-1_2

zbMATH Keywords

await commandparallel operatorquantum dynamic logicquantum programming

Mathematics Subject Classification ID

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

Cites work

• A dynamic-logical perspective on quantum behavior
• A Powerdomain Construction
• A probabilistic PDL
• A proof system for disjoint parallel quantum programs
• An algebra of quantum processes
• Automated quantum program verification in dynamic quantum logic
• Communicating sequential processes
• Concurrent dynamic logic
• Full abstraction for a shared-variable parallel language
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Invariants of quantum programs: characterisations and generation
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• LQP: the dynamic logic of quantum information
• Modeling correlated information change: from conditional beliefs to quantum conditionals
• On the construction of multi-valued concurrent dynamic logics
• Parallel quantum computation and quantum codes
• Process algebra for synchronous communication
• Propositional dynamic logic with storing, recovering and parallel composition
• Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
• Theories of Programming Languages
• Types and typechecking for Communicating Quantum Processes

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)