{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:49Z","timestamp":1775873629098,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031626449","type":"print"},{"value":"9783031626456","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-62645-6_6","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T05:01:51Z","timestamp":1718168511000},"page":"99-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["MAG$$\\pi $$!: The Role of\u00a0Replication in\u00a0Typing Failure-Prone Communication"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7394-0122","authenticated-orcid":false,"given":"Matthew Alan","family":"Le Brun","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9927-7875","authenticated-orcid":false,"given":"Ornela","family":"Dardha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-60225-7_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"M Adameit","year":"2017","unstructured":"Adameit, M., Peters, K., Nestmann, U.: Session types for link failures. In: Bouajjani, A., Silva, A. (eds.) FORTE 2017. LNCS, vol. 10321, pp. 1\u201316. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60225-7_1"},{"key":"6_CR2","doi-asserted-by":"publisher","unstructured":"Akkoyunlu, E.A., Ekanandham, K., Huber, R.V.: Some constraints and tradeoffs in the design of network communications. In: Browne, J.C., Rodriguez-Rosell, J. (eds.) Proceedings of the Fifth Symposium on Operating System Principles, SOSP 1975, The University of Texas at Austin, Austin, Texas, USA, 19-21 November 1975, pp. 67\u201374. ACM (1975). https:\/\/doi.org\/10.1145\/800213.806523","DOI":"10.1145\/800213.806523"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R.: Honesty by typing. Log. Methods Comput. Sci. 12(4) (2016). https:\/\/doi.org\/10.2168\/LMCS-12(4:7)2016","DOI":"10.2168\/LMCS-12(4:7)2016"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Barwell, A.D., Scalas, A., Yoshida, N., Zhou, F.: Generalised multiparty session types with crash-stop failures. In: Klin, B., Lasota, S., Muscholl, A. (eds.) 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. LIPIcs, vol.\u00a0243, pp. 35:1\u201335:25. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2022.35","DOI":"10.4230\/LIPIcs.CONCUR.2022.35"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418\u2013433. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85361-9_33"},{"key":"6_CR6","unstructured":"Brand, J.: Observations on popular antiquities (1780)"},{"issue":"6","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.1017\/S096012950999017X","volume":"19","author":"N Busi","year":"2009","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19(6), 1191\u20131222 (2009). https:\/\/doi.org\/10.1017\/S096012950999017X","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-662-54434-1_9","volume-title":"Programming Languages and Systems","author":"L Caires","year":"2017","unstructured":"Caires, L., P\u00e9rez, J.A.: Linearity, control effects, and behavioral types. In: Yang, H. (ed.) ESOP 2017. LNCS, vol. 10201, pp. 229\u2013259. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54434-1_9"},{"key":"6_CR9","doi-asserted-by":"publisher","unstructured":"Caires, L., Pfenning, F., Toninho, B.: Linear logic propositions as session types. Math. Struct. Comput. Sci. 26(3), 367\u2013423 (2016). https:\/\/doi.org\/10.1017\/S0960129514000218","DOI":"10.1017\/S0960129514000218"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1017\/S0960129514000164","volume":"26","author":"S Capecchi","year":"2016","unstructured":"Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. Math. Struct. Comput. Sci. 26(2), 156\u2013205 (2016). https:\/\/doi.org\/10.1017\/S0960129514000164","journal-title":"Math. Struct. Comput. Sci."},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-319-39570-8_7","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"T-C Chen","year":"2016","unstructured":"Chen, T.-C., Viering, M., Bejleri, A., Ziarek, L., Eugster, P.: A type theory for robust failure handling in distributed systems. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 96\u2013113. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_7"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-89366-2_5","volume-title":"Foundations of Software Science and Computation Structures","author":"O Dardha","year":"2018","unstructured":"Dardha, O., Gay, S.J.: A new linear logic for deadlock-free session-typed processes. In: Baier, C., Dal Lago, U. (eds.) FoSSaCS 2018. LNCS, vol. 10803, pp. 91\u2013109. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89366-2_5"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. Inf. Comput. 256, 253\u2013286 (2017). https:\/\/doi.org\/10.1016\/j.ic.2017.06.002","DOI":"10.1016\/j.ic.2017.06.002"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Fowler, S., Lindley, S., Morris, J.G., Decova, S.: Exceptional asynchronous session types: session types without tiers. Proc. ACM Program. Lang. 3(POPL), 28:1\u201328:29 (2019). https:\/\/doi.org\/10.1145\/3290341","DOI":"10.1145\/3290341"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053567"},{"key":"6_CR16","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-12 January 2008, pp. 273\u2013284. ACM (2008). https:\/\/doi.org\/10.1145\/1328438.1328472","DOI":"10.1145\/1328438.1328472"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Le Brun, M.A., Dardha, O.: Mag$$\\pi $$: types for failure-prone communication. In: Wies, T. (ed.) Programming Languages and Systems. ESOP 2023. LNCS, vol. 13990, pp 363\u2013391. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-30044-8_14","DOI":"10.1007\/978-3-031-30044-8_14"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Le Brun, M.A., Dardha, O.: Mag$$\\pi $$!: The role of replication in typing failure-prone communication (2024). https:\/\/doi.org\/10.48550\/arXiv.2404.16213","DOI":"10.48550\/arXiv.2404.16213"},{"key":"6_CR19","doi-asserted-by":"publisher","unstructured":"Marshall, D., Orchard, D.: Replicate, reuse, repeat: capturing non-linear communication via session types and graded modal types. In: Carbone, M., Neykova, R. (eds.) Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022. EPTCS, vol.\u00a0356, pp. 1\u201311 (2022). https:\/\/doi.org\/10.4204\/EPTCS.356.1","DOI":"10.4204\/EPTCS.356.1"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Mostrous, D., Vasconcelos, V.T.: Affine sessions. Log. Methods Comput. Sci. 14(4) (2018). https:\/\/doi.org\/10.23638\/LMCS-14(4:14)2018","DOI":"10.23638\/LMCS-14(4:14)2018"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Padovani, L.: On the fair termination of client-server sessions. In: Kesner, D., P\u00e9drot, P. (eds.) 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France. LIPIcs, vol.\u00a0269, pp. 5:1\u20135:21. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPIcs.TYPES.2022.5","DOI":"10.4230\/LIPIcs.TYPES.2022.5"},{"key":"6_CR22","first-page":"105","volume":"87","author":"C Palamidessi","year":"2005","unstructured":"Palamidessi, C., Valencia, F.D.: Recursion vs replication in process calculi: expressiveness. Bull. EATCS 87, 105\u2013125 (2005)","journal-title":"Bull. EATCS"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Qian, Z., Kavvos, G.A., Birkedal, L.: Client-server sessions in linear logic. Proc. ACM Program. Lang. 5(ICFP), 1\u201331 (2021). https:\/\/doi.org\/10.1145\/3473567","DOI":"10.1145\/3473567"},{"key":"6_CR24","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus - a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"6_CR25","doi-asserted-by":"publisher","unstructured":"Scalas, A., Yoshida, N.: Less is more: multiparty session types revisited. Proc. ACM Program. Lang. 3(POPL), 30:1\u201330:29 (2019). https:\/\/doi.org\/10.1145\/3290343","DOI":"10.1145\/3290343"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput. 217, 52\u201370 (2012). https:\/\/doi.org\/10.1016\/j.ic.2012.05.002","DOI":"10.1016\/j.ic.2012.05.002"},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"Viering, M., Hu, R., Eugster, P., Ziarek, L.: A multiparty session typing discipline for fault-tolerant event-driven distributed programming. Proc. ACM Program. Lang. 5(OOPSLA), 1\u201330 (2021). https:\/\/doi.org\/10.1145\/3485501","DOI":"10.1145\/3485501"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Wadler, P.: Propositions as sessions. J. Funct. Program. 24(2-3), 384\u2013418 (2014). https:\/\/doi.org\/10.1017\/S095679681400001X","DOI":"10.1017\/S095679681400001X"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62645-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T05:02:24Z","timestamp":1718168544000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62645-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626449","9783031626456"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62645-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}