{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:54:33Z","timestamp":1740099273574,"version":"3.37.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_23","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"311-319","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reo Coordination Model for Simulation of Quantum Internet Software"],"prefix":"10.1007","author":[{"given":"Ebrahim","family":"Ardeshir-Larijani","sequence":"first","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"key":"23_CR1","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"015001","DOI":"10.1088\/2058-9565\/aad56e","volume":"4","author":"Axel Dahlberg","year":"2018","unstructured":"Dahlberg, A., Wehner, S.: SimulaQron - A simulator for developing quantum internet software. Quantum Sci. Technol. 4(1) (2019). \nhttps:\/\/doi.org\/10.1088\/2058-9565\/aad56e","journal-title":"Quantum Science and Technology"},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1038\/d41586-018-01835-3","volume":"554","author":"D Castelvecchi","year":"2018","unstructured":"Castelvecchi, D.: The entangled web. Nature 554, 289\u2013292 (2018)","journal-title":"Nature"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: 20th Annual IEEE Symposium on Logic in Computer Science, LICS 2005, pp. 249\u2013258 (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33427-6_1","volume-title":"Service-Oriented and Cloud Computing","author":"S-STQ Jongmans","year":"2012","unstructured":"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\u201316. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33427-6_1"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-34874-3_12","volume-title":"Interactive Computation","author":"F Arbab","year":"2006","unstructured":"Arbab, F.: Composition of interacting computations. In: Goldin, D., Smolka, S.A., Wegner, P. (eds.) Interactive Computation, pp. 277\u2013321. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/3-540-34874-3_12"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"EW Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115\u2013138 (1971)","journal-title":"Acta Informatica"},{"key":"23_CR9","unstructured":"ReoLanguage GitHub repository. \nhttps:\/\/github.com\/ReoLanguage\/Reo\n\n. Accessed 23 Mar 2018"},{"key":"23_CR10","unstructured":"Microsoft Quantum Dev Kit (2018). \nhttps:\/\/www.microsoft.com\/en-us\/quantum\/"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1103\/PhysRevLett.67.661","volume":"67","author":"AK Ekert","year":"1991","unstructured":"Ekert, A.K.: Quantum cryptography based on Bell\u2019s theorem. Phys. Rev. Lett. 67, 661\u2013663 (1991)","journal-title":"Phys. Rev. Lett."},{"key":"23_CR12","unstructured":"Aharonov, D., Ganz, M., Magnin, L.: Dining Philosophers, Leader Election and Ring Size problems, in the quantum setting. \narXiv: 1707.01187\n\n (2017)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-24933-4_9","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"F Arbab","year":"2011","unstructured":"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\u2013206. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-24933-4_9"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-30734-3_7","volume-title":"Theory and Practice of Formal Methods","author":"F Arbab","year":"2016","unstructured":"Arbab, F.: Proper protocol. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 65\u201387. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-30734-3_7"},{"key":"23_CR15","unstructured":"Arbab, F.: What do you mean, coordination? In: Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, pp. 11\u201322 (1998)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:16:38Z","timestamp":1544030198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}