Chapter 9: Parallel quantum programs
Abstract
In this chapter, we define the syntax and semantics of parallel quantum programs. A (relatively) complete proof system is presented for disjoint (but possibly entangled) parallel quantum programs. Some proof rules are introduced for reasoning about parallel quantum programs with shared variables.
Keywords
Parallel programs; Syntax; Shared variables; Semantics; Entanglement; Proof rules; Auxiliary variables; Interference freedom
In this and next chapters, we are going to systematically study a theory of parallel and distributed quantum programming. This chapter will focus on parallel quantum programs.
As in the case of classical parallel programming, a parallel quantum program consists of parallel processes ...
Get Foundations of Quantum Programming, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
