Author:
Ardeshir-Larijani Ebrahim,Arbab Farhad
Publisher
Springer International Publishing
Reference15 articles.
1. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
2. Dahlberg, A., Wehner, S.: SimulaQron - A simulator for developing quantum internet software. Quantum Sci. Technol. 4(1) (2019).
https://doi.org/10.1088/2058-9565/aad56e
3. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)
4. Castelvecchi, D.: The entangled web. Nature 554, 289–292 (2018)
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)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Modeling and Verification of Timed Connectors in IoT with Z3;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24