{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T21:15:10Z","timestamp":1775769310509,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031666728","type":"print"},{"value":"9783031666735","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-66673-5_14","type":"book-chapter","created":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:04:18Z","timestamp":1725451458000},"page":"268-291","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Less is More Revisited"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3925-8557","authenticated-orcid":false,"given":"Nobuko","family":"Yoshida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6899-9971","authenticated-orcid":false,"given":"Ping","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,4]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Barwell, A., Scalas, A., Yoshida, N., Zhou, F.: Generalised multiparty session types with crash-stop failures. In: 33rd International Conference on Concurrency Theory. LIPIcs, vol.\u00a0243, pp. 35:1\u201335:25. Dagstuhl (2022). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2022.35","DOI":"10.4230\/LIPIcs.CONCUR.2022.35"},{"key":"14_CR2","doi-asserted-by":"publisher","unstructured":"Bernardi, G., Hennessy, M.: Using higher-order contracts to model session types. LMCS 12(2) (2016). https:\/\/doi.org\/10.2168\/LMCS-12(2:10)2016","DOI":"10.2168\/LMCS-12(2:10)2016"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (eds.) ESOP 2007, LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Cham (2007). https:\/\/doi.org\/10.1007\/978-3-540-71316-6_2","DOI":"10.1007\/978-3-540-71316-6_2"},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. MSCS 760 (2015). https:\/\/doi.org\/10.1017\/S0960129514000188","DOI":"10.1017\/S0960129514000188"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Deni\u00e9lou, P.M., Yoshida, N.: Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. In: 40th International Colloquium on Automata, Languages and Programming. LNCS, vol.\u00a07966, pp. 174\u2013186. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-39212-2_18","DOI":"10.1007\/978-3-642-39212-2_18"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Ghilezan, S., Pantovi\u0107, J., Proki\u0107, I., Scalas, A., Yoshida, N.: Precise subtyping for asynchronous multiparty sessions. ACM Trans. Comput. Logic 24 (2)(14), 1\u201373 (2023). https:\/\/doi.org\/10.1145\/3568422","DOI":"10.1145\/3568422"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Glabbeek, R.v., H\u00f6fner, P., Horne, R.: Assuming just enough fairness to make session types complete for lock-freedom. In: 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), pp. 1\u201313 (2021).https:\/\/doi.org\/10.1109\/LICS52264.2021.9470531","DOI":"10.1109\/LICS52264.2021.9470531"},{"key":"14_CR8","unstructured":"Web Services Choreography\u00a0Working Group (2003). http:\/\/w3.org\/2002\/ws\/chor\/"},{"key":"14_CR9","doi-asserted-by":"publisher","unstructured":"Gurd, J.R., Jones, C.B.: The global-yet-personal information system. In: Wand, I., Milner, R. (eds.) Computing Tomorrow, pp. 127\u2013157. Cambridge University Press (1996). https:\/\/doi.org\/10.1017\/CBO9780511605611","DOI":"10.1017\/CBO9780511605611"},{"key":"14_CR10","doi-asserted-by":"publisher","unstructured":"Hewitt, C., de\u00a0Jong, P.: Open systems. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, pp. 147\u2013164. Springer (1984). https:\/\/doi.org\/10.1007\/978-1-4612-5196-5_6","DOI":"10.1007\/978-1-4612-5196-5_6"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT, LNCS, vol.\u00a06536, pp. 55\u201375. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-19056-8_4","DOI":"10.1007\/978-3-642-19056-8_4"},{"key":"14_CR12","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL (2008). https:\/\/doi.org\/10.1145\/1328438.1328472, full version in [13]","DOI":"10.1145\/1328438.1328472"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J.\u00a0ACM 63(1) (2016). https:\/\/doi.org\/10.1145\/2827695","DOI":"10.1145\/2827695"},{"key":"14_CR14","doi-asserted-by":"publisher","unstructured":"Miu, A., Ferreira, F., Yoshida, N., Zhou, F.: Communication-safe web programming in typescript with routed multiparty session types. In: International Conference on Compiler Construction, pp. 94\u2013106. CC (2021).https:\/\/doi.org\/10.1145\/3446804.3446854","DOI":"10.1145\/3446804.3446854"},{"key":"14_CR15","unstructured":"OAuth Working Group: RFC 6749: OAuth 2.0 framework. http:\/\/tools.ietf.org\/html\/rfc6749 (2012)"},{"key":"14_CR16","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press, 1st edn. (2002). https:\/\/dl.acm.org\/doi\/abs\/10.5555\/509043"},{"key":"14_CR17","doi-asserted-by":"publisher","unstructured":"Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge University Press (2011). https:\/\/doi.org\/10.1017\/CBO9780511777110","DOI":"10.1017\/CBO9780511777110"},{"key":"14_CR18","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"},{"issue":"2","key":"14_CR19","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/260304.260305","volume":"5","author":"M Tokoro","year":"1993","unstructured":"Tokoro, M.: The society of objects. SIGPLAN OOPS Mess. 5(2), 3\u201312 (1993). https:\/\/doi.org\/10.1145\/260304.260305","journal-title":"SIGPLAN OOPS Mess."},{"key":"14_CR20","doi-asserted-by":"publisher","unstructured":"Yoshida, N., Gheri, L.: A very gentle introduction to multiparty session types. In: Distributed Computing and Internet Technology - ICDCIT 2020. LNCS, vol. 11969, pp. 73\u201393. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-36987-3_5","DOI":"10.1007\/978-3-030-36987-3_5"},{"key":"14_CR21","doi-asserted-by":"publisher","unstructured":"Yoshida, N., Hou, P.: Less is More Revisited. CoRR abs\/2402.16741 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2402.16741","DOI":"10.48550\/ARXIV.2402.16741"},{"key":"14_CR22","doi-asserted-by":"publisher","unstructured":"Yoshida, N., Hu, R., Neykova, R., Ng, N.: The scribble protocol language. In: Abadi, M., Lluch Lafuente, A. (eds.) Trustworthy Global Computing. LNCS, vol.\u00a08358, pp. 22\u201341. Springer, Cham (2013).https:\/\/doi.org\/10.1007\/978-3-319-05119-2_3","DOI":"10.1007\/978-3-319-05119-2_3"},{"key":"14_CR23","doi-asserted-by":"publisher","unstructured":"Yoshida, N., Zhou, F., Ferreira, F.: Communicating finite state machines and an extensible toolchain for multiparty session types. In: Bampis, E., Pagourtzis, A. (eds.) Fundamentals of Computation Theory. FCT 2021. LNCS, vol. 12867, pp. 18\u201335. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86593-1_2","DOI":"10.1007\/978-3-030-86593-1_2"}],"container-title":["Lecture Notes in Computer Science","The Practice of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66673-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:08:23Z","timestamp":1725451703000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66673-5_14"}},"subtitle":["Association with Global Multiparty Session Types"],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031666728","9783031666735"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66673-5_14","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":"4 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}