Corpus ID: 210164335

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}
}
  • Salman Haider, Syed Asad Raza Kazmi
  • Published in ArXiv 2020
  • Computer Science, Physics, Mathematics
  • 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

    Figures and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 37 REFERENCES

    Quantum computation and quantum information

    • Thierry Paul
    • Mathematics, Computer Science
    • Mathematical Structures in Computer Science
    • 2007
    VIEW 12 EXCERPTS
    HIGHLY INFLUENTIAL

    Communication and Concurrency

    • R. Milner
    • Prentice-Hall
    • 1999
    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Communication and concurrency

    • Robin Milner
    • Mathematics, Computer Science
    • PHI Series in computer science
    • 1989
    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Relations among quantum processes: bisimilarity and congruence

    • Marie Lalire
    • Mathematics, Physics, Computer Science
    • Mathematical Structures in Computer Science
    • 2006
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    Quantum Computing for Computer Architects, Second Edition

    VIEW 3 EXCERPTS

    Quantum Computing Explained

    VIEW 3 EXCERPTS