{"id":"https://openalex.org/W4366448026","doi":"https://doi.org/10.1007/978-3-031-30820-8_3","title":"Multiparty Session Typing in Java, Deductively","display_name":"Multiparty Session Typing in Java, Deductively","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366448026","doi":"https://doi.org/10.1007/978-3-031-30820-8_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30820-8_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_3.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-30820-8_3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103202360","display_name":"Jelle Bouma","orcid":"https://orcid.org/0009-0001-3223-9310"},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jelle Bouma","raw_affiliation_strings":["Open University of the Netherlands, Heerlen, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Open University of the Netherlands, Heerlen, the Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058794403","display_name":"Stijn de Gouw","orcid":"https://orcid.org/0000-0003-2964-6844"},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Stijn de Gouw","raw_affiliation_strings":["Open University of the Netherlands, Heerlen, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Open University of the Netherlands, Heerlen, the Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["Centrum Wiskunde & Informatica (CWI), Amsterdam, the Netherlands","Open University of the Netherlands, Heerlen, the Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI), Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Open University of the Netherlands, Heerlen, the Netherlands","institution_ids":["https://openalex.org/I7876267"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103202360"],"corresponding_institution_ids":["https://openalex.org/I7876267"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.0624,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.75544006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"19","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8850922584533691},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.7756774425506592},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7517542243003845},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.6056391596794128},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5859678983688354},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.46524202823638916},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.45787450671195984},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.42891258001327515},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.384620726108551},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21966198086738586},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.07709500193595886}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8850922584533691},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.7756774425506592},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7517542243003845},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.6056391596794128},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5859678983688354},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.46524202823638916},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.45787450671195984},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.42891258001327515},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.384620726108551},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21966198086738586},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.07709500193595886}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-30820-8_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_3.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:cwi:oai:cwi.nl:33198","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/33198","pdf_url":"https://ir.cwi.nl/pub/33198/33198.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:research.ou.nl:publications/e75b41c4-878f-43db-9a8f-cb4d737405f0","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/e75b41c4-878f-43db-9a8f-cb4d737405f0","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Bouma, J, de Gouw, S & Jongmans, S S 2023, Multiparty Session Typing in Java, Deductively. in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Springer Science and Business Media Deutschland GmbH, Cham, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13994 LNCS, pp. 19-27, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30820-8_3","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30820-8_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30820-8_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30820-8_3.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":[{"display_name":"Decent work and economic growth","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366448026.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W905467040","https://openalex.org/W1545681762","https://openalex.org/W1565541828","https://openalex.org/W1588132240","https://openalex.org/W2044590882","https://openalex.org/W2119992090","https://openalex.org/W2125398300","https://openalex.org/W2132761501","https://openalex.org/W2325347394","https://openalex.org/W2482080645","https://openalex.org/W2565255124","https://openalex.org/W2603624497","https://openalex.org/W2766961549","https://openalex.org/W2787969571","https://openalex.org/W2906701300","https://openalex.org/W2991171679","https://openalex.org/W3008328790","https://openalex.org/W3017186417","https://openalex.org/W3034717274","https://openalex.org/W3095521253","https://openalex.org/W3107309644","https://openalex.org/W3132548149","https://openalex.org/W3170036692","https://openalex.org/W3199431963","https://openalex.org/W4220921940","https://openalex.org/W4247441475","https://openalex.org/W4252971638","https://openalex.org/W4312481170","https://openalex.org/W6931671361"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W2494011163","https://openalex.org/W2053262709","https://openalex.org/W2139648957","https://openalex.org/W1481041875","https://openalex.org/W2391970076","https://openalex.org/W10278191"],"abstract_inverted_index":{"Abstract":[0],"Multiparty":[1],"session":[2],"typing":[3],"(MPST)":[4],"is":[5,66,73],"a":[6,23],"method":[7,30],"to":[8,18,26],"automatically":[9],"prove":[10],"safety":[11],"and":[12,51],"liveness":[13],"of":[14,62],"protocol":[15],"implementations":[16],"relative":[17],"specifications.":[19],"We":[20],"present":[21],"BGJ:":[22],"new":[24],"tool":[25,40],"apply":[27],"the":[28],"MPST":[29],"in":[31],"combination":[32],"with":[33],"Java.":[34],"The":[35],"checks":[36],"performed":[37],"using":[38,68],"our":[39,71],"are":[41,46],"purely":[42],"static":[43],"(all":[44],"errors":[45],"reported":[47],"early":[48],"at":[49,56],"compile-time)":[50],"resource-efficient":[52],"(near-zero":[53],"cost":[54],"abstractions":[55],"run-time),":[57],"thereby":[58],"addressing":[59],"two":[60],"issues":[61],"existing":[63],"tools.":[64],"BGJ":[65],"built":[67],"VerCors,":[69],"but":[70],"approach":[72],"general.":[74]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}