{“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“：”多方会话键入Java，Decretively”，“publication_year”：2023，“publiction_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“：{”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，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”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“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5078771895“，”display_name“：”Jelle Bouma“，”orcid“：”https://orcid.org/0009-0001-3223-9310}，“机构”：[{“id”：https://openalex.org/I7876267“，”display_name“：”荷兰开放大学“，”ror“：”https://ror.org/018dfmf50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I7876267“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Jelle Bouma“，”raw _ afiliation_strings“：[“荷兰赫尔伦开放大学”]，”affiliations“：[{”raw _affiliation_strong“：”荷兰赫尔伦公开大学”，“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}，“机构”：[{“id”：https://openalex.org/I7876267“，”display_name“：”荷兰开放大学“，”ror“：”https://ror.org/018dfmf50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I7876267“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Stijn de Gouw“，”raw _ affiliation_strings“：[“荷兰赫尔伦开放大学”]，”affiliation“：[{”raw _affiliation_string“：”荷兰赫尔伦公开大学”，“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}，“机构”：[{“id”：https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”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“：”荷兰开放大学“，”ror“：”https://ror.org/018dfmf50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I7876267“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Sung-Shik Jongmans“，”raw _ afiliation_strings“：[“荷兰阿姆斯特丹维斯昆德信息中心（CWI）”，“荷兰海尔伦开放大学”]，”affiliations“：[{”raw _affiliation_strong“：”维斯昆德信息中心，荷兰阿姆斯特丹“，”institution_id“：[”https://openalex.org/I1341640284“]}，{”raw_affiliation_string“：”荷兰赫尔伦开放大学“，”institution_ids“：[”https://openalex.org/I7876267“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5049418170“]，”对应的机构ID“：[”https://openalex.org/I1341640284","https://openalex.org/I7876267“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{”value”：5000，“currench”：“EUR”，“value_usd:5392，“provenance”：“doaj”}，“fwci”：4.261，“has_fulltext”：false，“cited_by_count”：1，“citected_by_percentile_year”：{“min”：77，“max”：86}，“：{”volume“：null，”issue“：nul，”first_page“：”19“，”last_page“：”27“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.52112}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.502883}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.88199294}，{”id“：”https://openalex.org/C548217200，“wikidata”：https://www.wikidata.org/wiki/Q251“，”display_name“：”Java“，”level“：2，”score“：0.79104376}，{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.7699103}，{”id“：”https://openalex.org/C2779182362，“wikidata”：https://www.wikidata.org/wiki/Q17126187“，”display_name“：”Session（web analytics）“，”level“：2，”score“：0.64912826}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5780344}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.4667668}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.4596886}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33384418｝，｛”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.11143717}]，”mesh“：[]，”locations_count“：1.”locations“：[{”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，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”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，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/8“，”display_name“：”体面的工作和经济增长“，”score“：0.46｝]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：29，”referenced_works“：[”https://openalex.org/W1545681762","https://openalex.org/W1565541828","https://openalex.org/W1588132240","https://openalex.org/W18866292","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/W905467040“]，”related_works“：[”https://openalex.org/W2519339279","https://openalex.org/W2467097043","https://openalex.org/W2369288331","https://openalex.org/W2192862863","https://openalex.org/W2112690207","https://openalex.org/W2104078272","https://openalex.org/W2086733238","https://openalex.org/W2044422526","https://openalex.org/W2004605222","https://openalex.org/W1497385637“]，”ngrams_url“：”https://api.openalex.org/works/W4366448026/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“Multiparty”：[1]，“session”：[2]，“typeing”：[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,61]2]，“协议”：[15]，“实现”：[16]，“相对”：[17]，“规范”：[19]，“我们”：[20]，“存在”：[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”：[3]9,71]，“are”：[41,46]，“pure”：[42]，“static”：[43]，“（all”：[44]，“errors”：[45]，“reported”：[47]，“early”：[48]，“at”：[49,56]，“compile-time）”：[50]，“资源效率”：[52]，“（接近零”：[53]，“成本”：[54]，“抽象”：[55]，“运行时”，“：[57]，“因此”：[58]，“寻址”：[59]，“两个”：[60]，“问题”：[61]，“现有”：[63]，“工具。”：[64]，“BGJ”：[65]，“构建”：[67]，“VerCors”：[69]，“但是”：[70]，“方法”：[72]，“一般”：[74]}，“引用_ by_api_url”：“https://api.openalex.org/works？filter=cites:W4366448026“，”counts_by_year“：[{”年“：2024，”引用_by_count“：1}]，”更新日期“：”2024-06-28T03:21:24.074250“，”创建日期“：“2023-04-22”}