April 2024
Intermediate to advanced
400 pages
21h 1m
English
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.
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 ...