An extended quantum process algebra (eQPAlg) approach for distributed quantum systems

01/06/2020
by   Salman Haider, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/04/2021

Verification of Distributed Quantum Protocols

Truly concurrent process algebras are generalizations to the traditional...
research
11/02/2018

Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing for Open Systems

Based on our previous work on truly concurrent process algebra, we use i...
research
11/02/2018

Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing

Based on our previous work on truly concurrent process algebra, we use i...
research
08/19/2019

Implicit Recursive Characteristics of STOP

The most important notations of Communicating Sequential Process(CSP) ar...
research
12/08/2022

The R-algebra of Quasiknowledge and Convex Optimization

This article develops a convex description of a classical or quantum lea...
research
04/12/2021

Quantum protocols at presence of non-abelian superselection rules in the framework of algebraic model

In this paper, we study the influence of non-abelian superselection rule...
research
10/13/2021

Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra

We investigate the algebraic reasoning of quantum programs inspired by t...

Please sign up or login with your details

Forgot password? Click here to reset