Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2001.04249 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912011113201664 |
|---|---|
| author | Haider, Salman Kazmi, Syed Asad Raza |
| author_facet | Haider, Salman Kazmi, Syed Asad Raza |
| contents | In this work, we have expounded the communication procedure of quantum systems by means of process algebra. The main objective of our research effort is to formally represent the communication between distributed quantum systems. In this new proposed communication model we have ameliorated the existing rules of Lalire's quantum process algebra QPAlg. We have brought some important modification in QPAlg by introducing the concept of formally specifying the Quantum teleportation protocol. We have further introduced the formal description of protocol by using programs that best explains its working and satisfies the specification. Examples have been provided to describe the working of the improved algebra that formally explain the sending and receiving of both classical as well as quantum data, keeping in mind the principal features of quantum mechanics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2001_04249 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | An extended quantum process algebra (eQPAlg) approach for distributed quantum systems Haider, Salman Kazmi, Syed Asad Raza Logic in Computer Science Formal Languages and Automata Theory Quantum Physics In this work, we have expounded the communication procedure of quantum systems by means of process algebra. The main objective of our research effort is to formally represent the communication between distributed quantum systems. In this new proposed communication model we have ameliorated the existing rules of Lalire's quantum process algebra QPAlg. We have brought some important modification in QPAlg by introducing the concept of formally specifying the Quantum teleportation protocol. We have further introduced the formal description of protocol by using programs that best explains its working and satisfies the specification. Examples have been provided to describe the working of the improved algebra that formally explain the sending and receiving of both classical as well as quantum data, keeping in mind the principal features of quantum mechanics. |
| title | An extended quantum process algebra (eQPAlg) approach for distributed quantum systems |
| topic | Logic in Computer Science Formal Languages and Automata Theory Quantum Physics |
| url | https://arxiv.org/abs/2001.04249 |