{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T17:29:32Z","timestamp":1763746172269,"version":"3.45.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031955884"},{"type":"electronic","value":"9783031955891"}],"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-3-031-95589-1_3","type":"book-chapter","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T14:48:29Z","timestamp":1750171709000},"page":"50-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verified Parameterized Choreographies"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5638-5945","authenticated-orcid":false,"given":"Robert","family":"Rubbens","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9212-1525","authenticated-orcid":false,"given":"Petra","family":"van den Bos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4467-072X","authenticated-orcid":false,"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,18]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Bates, M., Kashiwa, S., Jafri, S., Shen, G., Kuper, L., Near, J.P.: Efficient, portable, census-polymorphic choreographic programming. In: Submitted at PLDI\u201925 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2412.02107","DOI":"10.48550\/ARXIV.2412.02107"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"van\u00a0den Bos, P., Jongmans, S.: Veymont: parallelising verified programs instead of verifying parallel programs. In: Chechik, M., Katoen, J., Leucker, M. (eds.) Formal Methods - 25th International Symposium, FM 2023, L\u00fcbeck, Germany, 6\u201310 March 2023, Proceedings. Lecture Notes in Computer Science, vol. 14000, pp. 321\u2013339. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-27481-7_19","DOI":"10.1007\/978-3-031-27481-7_19"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Castro-Perez, D., Hu, R., Jongmans, S., Ng, N., Yoshida, N.: Distributed programming using role-parametric session types in go: statically-typed endpoint apis for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3(POPL), 29:1\u201329:30 (2019). https:\/\/doi.org\/10.1145\/3290342","DOI":"10.1145\/3290342"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Charalambides, M., Dinges, P., Agha, G.: Parameterized concurrent multi-party session types. In: Kokash, N., Ravara, A. (eds.) Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., 8 September 2012. EPTCS, vol.\u00a091, pp. 16\u201330 (2012). https:\/\/doi.org\/10.4204\/EPTCS.91.2","DOI":"10.4204\/EPTCS.91.2"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-60225-7_7","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Cruz-Filipe","year":"2017","unstructured":"Cruz-Filipe, L., Montesi, F.: Procedural choreographic programming. In: Bouajjani, A., Silva, A. (eds.) FORTE 2017. LNCS, vol. 10321, pp. 92\u2013107. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60225-7_7"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-57288-8_17","volume-title":"NASA Formal Methods","author":"S Darabi","year":"2017","unstructured":"Darabi, S., Blom, S., Huisman, M.: A verification technique for deterministic parallel programs. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 247\u2013264. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_17"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Deni\u00e9lou, P., Yoshida, N., Bejleri, A., Hu, R.: Parameterised multiparty session types. Log. Methods Comput. Sci. 8(4) (2012). https:\/\/doi.org\/10.2168\/LMCS-8(4:6)2012","DOI":"10.2168\/LMCS-8(4:6)2012"},{"issue":"5","key":"3_CR8","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1007\/S10009-022-00674-Y","volume":"24","author":"R Hamers","year":"2022","unstructured":"Hamers, R., Horlings, E., Jongmans, S.: The discourje project: run-time verification of communication protocols in clojure. Int. J. Softw. Tools Technol. Transf. 24(5), 757\u2013782 (2022). https:\/\/doi.org\/10.1007\/S10009-022-00674-Y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, 7\u201312 January 2008, pp. 273\u2013284. ACM (2008). https:\/\/doi.org\/10.1145\/1328438.1328472","DOI":"10.1145\/1328438.1328472"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Jongmans, S.S.: First-person choreographic programming with continuation-passing communications. In: 34th European Symposium on Programming, ESOP 2025 (2025)","DOI":"10.1007\/978-3-031-91121-7_3"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-030-99336-8_19","volume-title":"Programming Languages and Systems","author":"S-S Jongmans","year":"2022","unstructured":"Jongmans, S.-S., van den Bos, P.: A predicate transformer for choreographies. In: ESOP 2022. LNCS, vol. 13240, pp. 520\u2013547. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99336-8_19"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Kj\u00e6r, B.A., Cruz-Filipe, L., Montesi, F.: From infinity to choreographies - extraction for unbounded systems. In: Villanueva, A. (ed.) Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, 21\u201323 September 2022, Proceedings. Lecture Notes in Computer Science, vol. 13474, pp. 103\u2013120. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-16767-6_6","DOI":"10.1007\/978-3-031-16767-6_6"},{"key":"3_CR13","volume-title":"Concurrency - State Models and Java Programs","author":"J Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency - State Models and Java Programs, 2nd edn. Wiley, Hoboken (2006)","edition":"2"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Matsuda, K., Wang, M.: \u201cBidirectionalization for free\u201d for monomorphic transformations. Sci. Comput. Program. 111, 79\u2013109 (2015). https:\/\/doi.org\/10.1016\/J.SCICO.2014.07.008","DOI":"10.1016\/J.SCICO.2014.07.008"},{"key":"3_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/9781108981491","volume-title":"Introduction to Choreographies","author":"F Montesi","year":"2023","unstructured":"Montesi, F.: Introduction to Choreographies. Cambridge University Press, Cambridge (2023). https:\/\/doi.org\/10.1017\/9781108981491"},{"issue":"3\u20134","key":"3_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/S11761-014-0172-8","volume":"9","author":"N Ng","year":"2015","unstructured":"Ng, N., Yoshida, N.: Pabble: parameterised scribble. Serv. Oriented Comput. Appl. 9(3\u20134), 269\u2013284 (2015). https:\/\/doi.org\/10.1007\/S11761-014-0172-8","journal-title":"Serv. Oriented Comput. Appl."},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Rubbens, R., Van\u00a0den Bos, P., Huisman, M.: Verified parameterized choreographies (2025). https:\/\/doi.org\/10.5281\/zenodo.14900264","DOI":"10.5281\/zenodo.14900264"},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Rubbens, R., van\u00a0den Bos, P., Huisman, M.: Verified parameterized choreographies technical report (2025). https:\/\/doi.org\/10.48550\/arXiv.2502.15382","DOI":"10.48550\/arXiv.2502.15382"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Rubbens, R., van\u00a0den Bos, P., Huisman, M.: Veymont: choreography-based generation of correct concurrent programs with shared memory. In: Kosmatov, N., Kov\u00e1cs, L. (eds.) Integrated Formal Methods, pp. 217\u2013236. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-76554-4_12","DOI":"10.1007\/978-3-031-76554-4_12"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-030-36987-3_5","volume-title":"Distributed Computing and Internet Technology","author":"N Yoshida","year":"2020","unstructured":"Yoshida, N., Gheri, L.: A very gentle introduction to multiparty session types. In: Hung, D.V., D\u2019Souza, M. (eds.) ICDCIT 2020. LNCS, vol. 11969, pp. 73\u201393. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-36987-3_5"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. In: Fern\u00e1ndez, M., Kirchner, C. (eds.) Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, 15 July 2006. Electronic Notes in Theoretical Computer Science, vol.\u00a0171, pp. 73\u201393. Elsevier (2006). https:\/\/doi.org\/10.1016\/J.ENTCS.2007.02.056","DOI":"10.1016\/J.ENTCS.2007.02.056"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-95589-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T17:22:55Z","timestamp":1763745775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-95589-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031955884","9783031955891"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-95589-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"18 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}