Correctness checking of a quantum protocol for reliable communications via feedback

  • Hadi FarahaniEmail author
  • Hossein Mahan


In this paper, a quantum version of classical alternating bit protocol is proposed. Thisprotocol provides a reliable method to transmit the secret quantum data via a noisyquantum channel while the entanglement between particles is not broken. Our protocol is based on quantum teleportation and superdense coding. By assuming that the participantscan distinguish the alternating qubit from other messages and also the assumption that data canbe resent unlimited times, an abstraction of this protocol can be derived. Using the quantum process algebra fullqACP, we show that the proposed protocol is correct, so the desired external behaviour of the protocol is guaranteed.


Quantum Alternating bit protocol Correctness checking Process algebra 



Thanks in advance to respectful referees.


  1. 1.
    de Bakker, J.W., Zucker, J.I.: Processes and the denotational semantics of concurrency. Inf. Control 54, 70–120 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Feng, Y., Deng, Y., Ying, M.: Symbolic bisimulation for quantum processes. ACM Trans. Comput. Logic 15(2), Article No 14 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Fokkink, W.: Introduction to Process Algebra. Springer, Berlin (2007)zbMATHGoogle Scholar
  4. 4.
    Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, New York (2010)CrossRefzbMATHGoogle Scholar
  5. 5.
    Wang, Y.: An Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing, Manuscript. arXiv: 1311.2960 (2013)
  6. 6.
    Wang, Y.: Entanglement in Quantum Process Algebra, Manuscript. arxiv: 1404.0665 (2015)
  7. 7.
    Wilde, M.M.: Quantum Information Theory. Cambridge University Press, New York (2013)CrossRefzbMATHGoogle Scholar

Copyright information

© African Mathematical Union and Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2019

Authors and Affiliations

  1. 1.Department of Computer Science, Faculty of Mathematical SciencesShahid Beheshti University, G.C, EvinTehranIran

Personalised recommendations