{"id":"https://openalex.org/W4409974391","doi":"https://doi.org/10.1007/978-3-031-90643-5_8","title":"Multiparty Session Typing, Embedded","display_name":"Multiparty Session Typing, Embedded","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4409974391","doi":"https://doi.org/10.1007/978-3-031-90643-5_8"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-90643-5_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90643-5_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90643-5_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90643-5_8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4394-8745","affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049418170"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28490566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"145","last_page":"164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8751142024993896},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.818524956703186},{"id":"https://openalex.org/keywords/typing","display_name":"Typing","score":0.6042563915252686},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36365747451782227},{"id":"https://openalex.org/keywords/speech-recognition","display_name":"Speech recognition","score":0.2710779011249542},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.24294909834861755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8751142024993896},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.818524956703186},{"id":"https://openalex.org/C2781209916","wikidata":"https://www.wikidata.org/wiki/Q3215756","display_name":"Typing","level":2,"score":0.6042563915252686},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36365747451782227},{"id":"https://openalex.org/C28490314","wikidata":"https://www.wikidata.org/wiki/Q189436","display_name":"Speech recognition","level":1,"score":0.2710779011249542},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.24294909834861755}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-90643-5_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90643-5_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90643-5_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.rug.nl:openaire/0bb1cf2b-2bdf-4237-90ee-a2af64e79ba5","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/0bb1cf2b-2bdf-4237-90ee-a2af64e79ba5","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Jongmans, S-S 2025, Multiparty Session Typing, Embedded. in A Gurfinkel & M Heule (eds), Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3\u20138, 2025, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science, vol. 15696, Springer, pp. 145-164, 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Canada, 03/05/2025. https://doi.org/10.1007/978-3-031-90643-5_8","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/0bb1cf2b-2bdf-4237-90ee-a2af64e79ba5","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/0bb1cf2b-2bdf-4237-90ee-a2af64e79ba5","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jongmans, S-S 2025, Multiparty Session Typing, Embedded. in A Gurfinkel & M Heule (eds), Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3\u20138, 2025, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science, vol. 15696, Springer, pp. 145-164, 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Canada, 03/05/2025. https://doi.org/10.1007/978-3-031-90643-5_8","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-90643-5_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90643-5_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90643-5_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409974391.pdf","grobid_xml":"https://content.openalex.org/works/W4409974391.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W169399732","https://openalex.org/W2046488919","https://openalex.org/W2119992090","https://openalex.org/W2329205359","https://openalex.org/W2482080645","https://openalex.org/W2603624497","https://openalex.org/W2766961549","https://openalex.org/W2787969571","https://openalex.org/W2899726318","https://openalex.org/W2906701300","https://openalex.org/W2930652247","https://openalex.org/W2954503119","https://openalex.org/W3008328790","https://openalex.org/W3016583429","https://openalex.org/W3017186417","https://openalex.org/W3034717274","https://openalex.org/W3107309644","https://openalex.org/W3132548149","https://openalex.org/W3170036692","https://openalex.org/W3199431963","https://openalex.org/W4205907492","https://openalex.org/W4205979273","https://openalex.org/W4220921940","https://openalex.org/W4384154431","https://openalex.org/W4391294312","https://openalex.org/W4406975767","https://openalex.org/W6949192695"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4230197055","https://openalex.org/W4296749040","https://openalex.org/W4404605447","https://openalex.org/W621808327","https://openalex.org/W3176169626","https://openalex.org/W644007644","https://openalex.org/W2497198634"],"abstract_inverted_index":{"Abstract":[0],"Multiparty":[1],"session":[2],"typing":[3],"(MPST)":[4],"is":[5,15],"a":[6],"method":[7],"to":[8,16,20,30,37,63,91],"make":[9],"concurrent":[10],"programming":[11,101],"simpler.":[12],"The":[13],"idea":[14],"use":[17],"type":[18],"checking":[19],"automatically":[21],"detect":[22],"safety":[23],"and":[24,52,103],"liveness":[25],"violations":[26],"of":[27,45,61,85,106],"implementations":[28],"relative":[29],"specifications.":[31],"In":[32,55],"practice,":[33],"the":[34,43,59,78,107],"premier":[35],"approach":[36,99,109],"combine":[38],"MPST":[39,65,93],"with":[40],"mainstream":[41],"languages\u2014in":[42],"absence":[44],"native":[46],"support\u2014is":[47],"based":[48],"on":[49],"external":[50],"DSLs":[51,69],"associated":[53],"tooling.":[54],"contrast,":[56],"we":[57],"study":[58],"question":[60,73],"how":[62],"support":[64],"by":[66],"using":[67],"internal":[68],".":[70],"Answering":[71],"this":[72,75],"positively,":[74],"paper":[76],"presents":[77],"library:":[79],"it":[80],"leverages":[81],"Scala\u2019s":[82],"lightweight":[83],"form":[84],"dependent":[86],"typing,":[87],"called":[88],"match":[89],"types,":[90],"embed":[92],"directly":[94],"into":[95],"Scala.":[96],"Our":[97],"internal-DSL-based":[98],"avoids":[100],"friction":[102],"leaky":[104],"abstractions":[105],"external-DSL-based":[108],"for":[110],"MPST.":[111]},"counts_by_year":[],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}