{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:28:18Z","timestamp":1742952498058,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":35,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819603534"},{"type":"electronic","value":"9789819603541"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-0354-1_2","type":"book-chapter","created":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:09:17Z","timestamp":1738235357000},"page":"17-31","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Adding Concurrency to\u00a0Quantum Dynamic Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6640-2083","authenticated-orcid":false,"given":"Manisha","family":"Jain","sequence":"first","affiliation":[]},{"given":"Vitor","family":"Fernandes","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,31]]},"reference":[{"issue":"8","key":"2_CR1","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"2_CR2","unstructured":"Baltag, A., Smets, S.: The logic of quantum programs (2004)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1017\/S0960129506005299","volume":"16","author":"A Baltag","year":"2006","unstructured":"Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16(3), 491\u2013525 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s11225-008-9126-5","volume":"89","author":"A Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: A dynamic-logical perspective on quantum behavior. Stud. Logica. 89(2), 187\u2013211 (2008)","journal-title":"Stud. Logica."},{"issue":"6","key":"2_CR5","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1007\/s00500-017-2499-5","volume":"21","author":"A Baltag","year":"2017","unstructured":"Baltag, A., Smets, S.: Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft. Comput. 21(6), 1523\u20131535 (2017)","journal-title":"Soft. Comput."},{"issue":"9","key":"2_CR6","doi-asserted-by":"publisher","first-page":"4458","DOI":"10.3390\/app12094458","volume":"12","author":"A Baltag","year":"2022","unstructured":"Baltag, A., Smets, S.: Reasoning about quantum information: an overview of quantum dynamic logic. Appl. Sci. 12(9), 4458 (2022)","journal-title":"Appl. Sci."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Benevides, M.R.F., de Freitas, R., Viana, P.: Propositional dynamic logic with storing, recovering and parallel composition. Electron. Notes Theor. Comput. Sci. 269, 95\u2013107 (2011). Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop (LSFA 2010)","DOI":"10.1016\/j.entcs.2011.03.008"},{"issue":"4","key":"2_CR8","doi-asserted-by":"publisher","first-page":"919","DOI":"10.1093\/logcom\/exu001","volume":"24","author":"MRF Benevides","year":"2014","unstructured":"Benevides, M.R.F., Menasch\u00e9, L.: Schechter: propositional dynamic logics for communicating concurrent programs with CCS\u2019s parallel operator. J. Logic Comput. 24(4), 919\u2013951 (2014)","journal-title":"J. Logic Comput."},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60(1), 109\u2013137 (1984)","journal-title":"Inf. Control"},{"key":"2_CR10","unstructured":"Bravyi, S., Gosset, D., K\u00f6nig, R.: Quantum advantage with shallow circuits. CoRR, abs\/1704.00690 (2017)"},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/inco.1996.0056","volume":"127","author":"S Brookes","year":"1996","unstructured":"Brookes, S.: Full abstraction for a shared-variable parallel language. Inf. Comput. 127(2), 145\u2013163 (1996)","journal-title":"Inf. Comput."},{"key":"2_CR12","unstructured":"Caleffi, M., et al.: Distributed quantum computing: a survey. CoRR, abs\/2212.10609 (2022)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Cleve, R., Watrous, J.: Fast parallel circuits for the quantum Fourier transform. In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, Redondo Beach, California, USA, 12\u201314 November 2000, pp. 526\u2013536. IEEE Computer Society (2000)","DOI":"10.1109\/SFCS.2000.892140"},{"issue":"9","key":"2_CR14","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"EW Dijkstra","year":"1965","unstructured":"Dijkstra, E.W.: Solution of a problem in concurrent programming control. Commun. ACM 8(9), 569 (1965)","journal-title":"Commun. ACM"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Do, C.M., Takagi, T., Ogata, K.: Automated quantum program verification in probabilistic dynamic quantum logic. In: Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), p.\u00a036 (2023)","DOI":"10.1007\/978-3-031-51777-8_5"},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/2400676.2400680","volume":"34","author":"Y Feng","year":"2012","unstructured":"Feng, Y., Duan, R., Ying, M.: Bisimulation for quantum processes. ACM Trans. Program. Lang. Syst. (TOPLAS) 34(4), 17 (2012)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1017\/S0960129506005263","volume":"16","author":"SJ Gay","year":"2006","unstructured":"Gay, S.J., Nagarajan, R.: Types and typechecking for communicating quantum processes. Math. Struct. Comput. Sci. 16(3), 375\u2013406 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-030-38808-9_14","volume-title":"Dynamic Logic. New Trends and Applications","author":"L Gomes","year":"2020","unstructured":"Gomes, L.: On the construction of multi-valued concurrent dynamic logics. In: Soares Barbosa, L., Baltag, A. (eds.) DALI 2019. LNCS, vol. 12005, pp. 218\u2013226. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-38808-9_14"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-09526-8_8","volume-title":"Mathematical Foundations of Computer Science 1979","author":"MCB Hennessy","year":"1979","unstructured":"Hennessy, M.C.B., Plotkin, G.D.: Full abstraction for a simple parallel programming language. In: Be\u010dv\u00e1\u0159, J. (ed.) MFCS 1979. LNCS, vol. 74, pp. 108\u2013120. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/3-540-09526-8_8"},{"issue":"2","key":"2_CR20","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D Kozen","year":"1985","unstructured":"Kozen, D.: A probabilistic PDL. J. Comput. Syst. Sci. 30(2), 162\u2013178 (1985)","journal-title":"J. Comput. Syst. Sci."},{"key":"2_CR21","unstructured":"Lalire, M., Jorrand, P.: A process algebraic approach to concurrent and distributed quantum computation: operational semantics. arXiv preprint quant-ph\/0407005 (2004)"},{"key":"2_CR22","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency, vol. 84. Prentice Hall, New York (1989)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Mlna\u0159\u00edk, H.: Quantum programming language LanQ. Doctoral theses, dissertations (2007)","DOI":"10.1142\/S0219749908004031"},{"issue":"3","key":"2_CR24","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1137\/S0097539799355053","volume":"31","author":"C Moore","year":"2001","unstructured":"Moore, C., Nilsson, M.: Parallel quantum computation and quantum codes. SIAM J. Comput. 31(3), 799\u2013815 (2001)","journal-title":"SIAM J. Comput."},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D Peleg","year":"1987","unstructured":"Peleg, D.: Concurrent dynamic logic. J. ACM 34(2), 450\u2013479 (1987)","journal-title":"J. ACM"},{"key":"2_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, Cham (2010)"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"GD Plotkin","year":"1976","unstructured":"Plotkin, G.D.: A powerdomain construction. SIAM J. Comput. 5(3), 452\u2013487 (1976)","journal-title":"SIAM J. Comput."},{"key":"2_CR28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626364","volume-title":"Theories of Programming Languages","author":"JC Reynolds","year":"1998","unstructured":"Reynolds, J.C.: Theories of Programming Languages. Cambridge University Press, Cambridge (1998)"},{"issue":"3","key":"2_CR29","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1080\/00107514.2019.1667078","volume":"60","author":"J Roffe","year":"2019","unstructured":"Roffe, J.: Quantum error correction: an introductory guide. Contemp. Phys. 60(3), 226\u2013245 (2019)","journal-title":"Contemp. Phys."},{"key":"2_CR30","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-031-51777-8_5","volume-title":"DaL\u00ed 2023","author":"T Takagi","year":"2024","unstructured":"Takagi, T., Do, C.M., Ogata, K.: Automated quantum program verification in dynamic quantum logic. In: Gierasimczuk, N., Vel\u00e1zquez-Quesada, F.R. (eds.) DaL\u00ed 2023. LNCS, vol. 14401, pp. 68\u201384. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-51777-8_5"},{"issue":"3","key":"2_CR31","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1507244.1507249","volume":"10","author":"M Ying","year":"2009","unstructured":"Ying, M., Feng, Y., Duan, R., Ji, Z.: An algebra of quantum processes. ACM Trans. Comput. Logic (TOCL) 10(3), 19 (2009)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"issue":"1","key":"2_CR32","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1145\/3093333.3009840","volume":"52","author":"M Ying","year":"2017","unstructured":"Ying, M., Ying, S., Xiaodi, W.: Invariants of quantum programs: characterisations and generation. ACM SIGPLAN Not. 52(1), 818\u2013832 (2017)","journal-title":"ACM SIGPLAN Not."},{"key":"2_CR33","unstructured":"Ying, M., Zhou, L., Li, Y.: Reasoning about parallel quantum programs. arXiv preprint arXiv:1810.11334 (2018)"},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.tcs.2021.10.025","volume":"897","author":"M Ying","year":"2022","unstructured":"Ying, M., Zhou, L., Li, Y., Feng, Y.: A proof system for disjoint parallel quantum programs. Theor. Comput. Sci. 897, 164\u2013184 (2022)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-76837-1_65","volume-title":"Advanced Parallel Processing Technologies","author":"Z Zhang","year":"2007","unstructured":"Zhang, Z., Jiang, Y.: Parallel first-order dynamic logic and its expressiveness and axiomatization. In: Xu, M., Zhan, Y., Cao, J., Liu, Y. (eds.) APPT 2007. LNCS, vol. 4847, pp. 600\u2013607. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76837-1_65"}],"container-title":["Communications in Computer and Information Science","Artificial Intelligence Logic and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0354-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:09:24Z","timestamp":1738235364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0354-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819603534","9789819603541"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0354-1_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"31 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AILA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on AI Logic and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lanzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aila2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ailasym.com","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}