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

@article{Haider2020AnEQ, title={An extended quantum process algebra (eQPAlg) approach for distributed quantum systems}, author={Salman Haider and Syed Asad Raza Kazmi}, journal={ArXiv}, year={2020}, volume={abs/2001.04249} }

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… CONTINUE READING

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 37 REFERENCES

## Quantum computation and quantum information

VIEW 12 EXCERPTS

HIGHLY INFLUENTIAL

## A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics

VIEW 8 EXCERPTS

HIGHLY INFLUENTIAL

## Communication and Concurrency

VIEW 5 EXCERPTS

HIGHLY INFLUENTIAL

## Communication and concurrency

VIEW 5 EXCERPTS

HIGHLY INFLUENTIAL

## Relations among quantum processes: bisimilarity and congruence

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## Model Checking for Communicating Quantum Processes

VIEW 1 EXCERPT

## Quantum Computing for Computer Architects, Second Edition

VIEW 3 EXCERPTS

## Quantum Computing Explained

VIEW 3 EXCERPTS