{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:34:43Z","timestamp":1743140083039,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031158384"},{"type":"electronic","value":"9783031158391"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15839-1_6","type":"book-chapter","created":{"date-parts":[[2022,8,28]],"date-time":"2022-08-28T18:02:38Z","timestamp":1661709758000},"page":"98-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking for\u00a0Entanglement Swapping"],"prefix":"10.1007","author":[{"given":"Surya Sai Teja","family":"Desu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anubhav","family":"Srivastava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. V. Panduranga","family":"Rao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,29]]},"reference":[{"key":"6_CR1","unstructured":"Abdeddaim, Y., Kerbaa, A., Maler, O.: Task graph scheduling using timed automata. In: Proceedings International Parallel and Distributed Processing Symposium, p. 237 (2003)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Abdedda\u00efm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theor. Comput. Sci. 354, 272\u2013300 (2006)","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"6_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)"},{"key":"6_CR4","unstructured":"Bennett, C.H., Brassard, G.: Quantum cryptography: public key distribution and coin tossing. In: Proceedings of IEEE International Conference on Computers, Systems, and Signal Processing, p. 175. India (1984)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"2046","DOI":"10.1103\/PhysRevA.53.2046","volume":"53","author":"CH Bennett","year":"1996","unstructured":"Bennett, C.H., Bernstein, H.J., Popescu, S., Schumacher, B.: Concentrating partial entanglement by local operations. Phys. Rev. A 53, 2046\u20132052 (1996)","journal-title":"Phys. Rev. A"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bennett, C.H., Brassard, G., Cr\u00e9peau, C., Jozsa, R., Peres, A., Wootters, W.K.: Teleporting an unknown quantum state via dual classical and Einstein-Podolsk-rosen channels. Phys. Rev. Lett. 70, 1895\u20131899 (1993)","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1103\/PhysRevLett.76.722","volume":"76","author":"CH Bennett","year":"1996","unstructured":"Bennett, C.H., Brassard, G., Popescu, S., Schumacher, B., Smolin, J.A., Wootters, W.K.: Purification of noisy entanglement and faithful teleportation via noisy channels. Phys. Rev. Lett. 76, 722\u2013725 (1996)","journal-title":"Phys. Rev. Lett."},{"issue":"6660","key":"6_CR8","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1038\/37539","volume":"390","author":"D Bouwmeester","year":"1997","unstructured":"Bouwmeester, D., Pan, J.W., Mattle, K., Eibl, M., Weinfurter, H., Zeilinger, A.: Experimental quantum teleportation. Nature 390(6660), 575\u2013579 (1997)","journal-title":"Nature"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-06880-0_13","volume-title":"Horizons of the Mind. A Tribute to Prakash Panangaden","author":"B Coecke","year":"2014","unstructured":"Coecke, B.: The logic of entanglement. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Horizons of the Mind. A Tribute to Prakash Panangaden. LNCS, vol. 8464, pp. 250\u2013267. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06880-0_13"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1038\/s42005-021-00647-8","volume":"4","author":"T Coopmans","year":"2021","unstructured":"Coopmans, T., et al.: NetSquid, a network simulator for quantum information using discrete events. Commun. Phys. 4(1), 164 (2021)","journal-title":"Commun. Phys."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Dahlberg, A., Wehner, S.: Simulaqron-a simulator for developing quantum internet software. Quan. Sci. Technol. 4(1) (2018)","DOI":"10.1088\/2058-9565\/aad56e"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Diadamo, S., N\u00f6tzel, J., Zanger, B., Be\u015fe, M.M.: Qunetsim: a software framework for quantum networks. IEEE Trans. Quant. Eng. 2, 1\u201312 (2021)","DOI":"10.1109\/TQE.2021.3092395"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"D\u00fcr, W., Briegel, H.J.: Entanglement purification and quantum error correction. Rep. Progr. Phys. 70(8), 1381\u20131424 (2007)","DOI":"10.1088\/0034-4885\/70\/8\/R03"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Elboukhari, M., Azizi, M., Azizi, A.: Analysis of the security of bb84 by model checking. Int. J. Netw. Secur. Appl. 2 (2010)","DOI":"10.5121\/ijnsa.2010.2207"},{"key":"6_CR15","unstructured":"Gay, S., Nagarajan, R., Papanikolaou, N.: Probabilistic model-checking of quantum protocols (2005). https:\/\/arxiv.org\/abs\/quant-ph\/0504007"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. Comput. 6(5), 512\u2013535 (1994)","DOI":"10.1007\/BF01211866"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Huang, B., Huang, Y., Kong, J., Huang, X.: Model checking quantum key distribution protocols. In: 2016 8th International Conference on Information Technology in Medicine and Education (ITME), pp. 611\u2013615 (2016)","DOI":"10.1109\/ITME.2016.0144"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Kakutani, Y.: A logic for formal verification of quantum programs. In: Datta, A. (ed.) ASIAN 2009. LNCS, vol. 5913, pp. 79\u201393. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10622-4_7","DOI":"10.1007\/978-3-642-10622-4_7"},{"key":"6_CR19","unstructured":"Khatri, S.: On the design and analysis of near-term quantum network protocols using Markov decision processes (2022). https:\/\/arxiv.org\/abs\/2207.03403"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Form. Methods Syst. Des. 29, 33\u201378 (2006)","DOI":"10.1007\/s10703-006-0005-2"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. In: Katoen, J.-P. (ed.) ARTS 1999. LNCS, vol. 1601, pp. 75\u201395. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48778-6_5","DOI":"10.1007\/3-540-48778-6_5"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Liu, J., et al.: Formal verification of quantum algorithms using quantum Hoare logic. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11562, pp. 187\u2013207. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25543-5_12","DOI":"10.1007\/978-3-030-25543-5_12"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information: 10th Anniversary Edition, 10th edn. Cambridge University Press, USA (2011)","DOI":"10.1017\/CBO9780511976667"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Form. Methods Syst. Des. 43(2), 164\u2013190 (2013)","DOI":"10.1007\/s10703-012-0177-x"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"N\u00f6tzel, J., DiAdamo, S.: Entanglement-enhanced communication networks. In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 242\u2013248 (2020)","DOI":"10.1109\/QCE49297.2020.00038"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Pu, Y.E., et al.: Experimental demonstration of memory-enhanced scaling for entanglement connection of quantum repeater segments. Nat. Phot. 15(5), 374\u2013378 (2021)","DOI":"10.1038\/s41566-021-00764-4"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Wu, X., et al.: SeQUeNCe: a customizable discrete-event simulator of quantum networks. Quantum Sci. Technol. 6 (2020)","DOI":"10.1088\/2058-9565\/ac22f6"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Ying, M., Feng, Y.: Model Checking Quantum Systems: Principles and Algorithms. Cambridge University Press, Cambridge (2021)","DOI":"10.1017\/9781108613323"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"\u017bukowski, M., Zeilinger, A., Horne, M.A., Ekert, A.K.: \u201cEvent-ready-detector\" bell experiment via entanglement swapping. Phys. Rev. Lett. 71, 4287\u20134290 (1993)","DOI":"10.1103\/PhysRevLett.71.4287"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15839-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T23:15:31Z","timestamp":1662074131000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15839-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031158384","9783031158391"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15839-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"29 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}