Reo Coordination Model for Simulation of Quantum Internet Software

  • Ebrahim Ardeshir-LarijaniEmail author
  • Farhad Arbab
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11176)


The novel field of quantum technology is being promoted by academia, governments and industry. Quantum technologies offer new means for carrying out fast computation as well as secure communication, using primitives that exploit peculiar characteristics of quantum physics. While building quantum computing devices remains a challenge, the area of quantum communication and cryptography has been successful in reaching industrial applications. In particular, recently, plans for building quantum internet have been put into action and expected to be launched by 2020 in the Netherlands. Quantum internet uses quantum communication as well as quantum entanglement along with classical communication. This makes design of software platform for quantum networks very challenging and a daunting task. Seamless design and testing of platforms for quantum software, thus, becomes a necessity to develop complex simulators for this kind of networks. In this short paper, we argue that using coordination models such as Reo can significantly simplify the development of software applications for quantum internet. Moreover, formal verification of such quantum software becomes possible, thanks to the separation of concerns, compositionality, and reusability of Reo models. This paper introduces an extension of a recently developed simulator for quantum internet (SimulaQron) by incorporating Reo models extended with quantum data and operations, along with classical data. We explain the main concepts and our plan for implementing this extension as a new tool: SimulaQ(reo)n.


Quantum communication Quantum information Quantum networks Reo Coordination Model 


  1. 1.
    Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)zbMATHGoogle Scholar
  2. 2.
    Dahlberg, A., Wehner, S.: SimulaQron - A simulator for developing quantum internet software. Quantum Sci. Technol. 4(1) (2019). Scholar
  3. 3.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Castelvecchi, D.: The entangled web. Nature 554, 289–292 (2018)CrossRefGoogle Scholar
  5. 5.
    Altenkirch, T., Grattage, J.: A functional quantum programming language. In: 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, pp. 249–258 (2005)Google Scholar
  6. 6.
    Jongmans, S.-S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Automatic code generation for the orchestration of web services with Reo. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds.) ESOCC 2012. LNCS, vol. 7592, pp. 1–16. Springer, Heidelberg (2012). Scholar
  7. 7.
    Arbab, F.: Composition of interacting computations. In: Goldin, D., Smolka, S.A., Wegner, P. (eds.) Interactive Computation, pp. 277–321. Springer, Heidelberg (2006). Scholar
  8. 8.
    Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115–138 (1971)MathSciNetCrossRefGoogle Scholar
  9. 9.
    ReoLanguage GitHub repository. Accessed 23 Mar 2018
  10. 10.
    Microsoft Quantum Dev Kit (2018).
  11. 11.
    Ekert, A.K.: Quantum cryptography based on Bell’s theorem. Phys. Rev. Lett. 67, 661–663 (1991)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Aharonov, D., Ganz, M., Magnin, L.: Dining Philosophers, Leader Election and Ring Size problems, in the quantum setting. arXiv: 1707.01187 (2017)
  13. 13.
    Arbab, F.: Puff, the magic protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 169–206. Springer, Heidelberg (2011). Scholar
  14. 14.
    Arbab, F.: Proper protocol. In: Ábrahám, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 65–87. Springer, Cham (2016). Scholar
  15. 15.
    Arbab, F.: What do you mean, coordination? In: Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, pp. 11–22 (1998)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Department of Computer and Data Science, Faculty of Mathematical SciencesShahid Beheshti University (SBU)TehranIran
  2. 2.School of Computer ScienceInstitute for Research in Fundamental Sciences (IPM)TehranIran
  3. 3.Centrum Wiskunde and Informatica (CWI)AmsterdamNetherlands
  4. 4.Leiden UniversityLeidenNetherlands

Personalised recommendations