Foundations of Quantum Concurrent Programming

A key strategy for building a large-scale quantum computer is to build a network of small-scale quantum processors called a quantum internet (QI). A QI can then be programmed like a quantum multi-core computer to perform large quantum computation by dividing and distributing the computation into smaller tasks across many tiny processors. Performing a large computation as a collection of several interleaved smaller computations which synchronize with one another as necessary is termed concurrent computing. Our research will lay the foundations of quantum concurrent computing by investigating its synchronization modes. Specifically, we will develop mathematical semantics of quantum message passing systems and entanglement-based synchronization and demonstrate its use cases using tools from Category Theory and Logic. The proposed research establishes the groundwork for the development of software technologies necessary to unlock the computing power of QI.