A proof system for disjoint parallel quantum programs
- Publisher:
- ELSEVIER
- Publication Type:
- Journal Article
- Citation:
- Theoretical Computer Science, 2022, 897, pp. 164-184
- Issue Date:
- 2022-01-02
Closed Access
Filename | Description | Size | |||
---|---|---|---|---|---|
A-proof-system-for-disjoint-parallel-quantum-programs-1-s2.0-S0304397521006484-main.pdf | Published version | 448.94 kB |
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
In this paper, we define the operational and denotational semantics of a special class of parallel quantum programs, namely disjoint parallel quantum programs. Based on them, a proof system for reasoning about disjoint parallel quantum programs is developed, which is (relatively) complete even when entanglement between different processes appears in the preconditions and postconditions.
Please use this identifier to cite or link to this item: