{“id”：“https://openalex.org/W2267257184“，”doi“：”https://doi.org/10.4230/dagrep.5.5.1“，”title“：“下一代并发的成分验证方法（Dagstuhl Seminar 15191）”，”display_name“：”下一代并行的组成验证方法（达格斯图尔Seminar 5191）“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W2267257184“，”doi“：”https://doi.org/10.4230/dagrep.5.5.1“，”mag“：”2267257184“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”http://dx.doi.org/10.4230/DagRep.5.5.1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306507525“，”display_name“：”Dagstuhl reports“，”issn_l“：”2192-5283“，”isn“：[”21925-283“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[]，“type”：“journal”}，“license”：null、“license_id”：null，“version”：null，“is_accepted”：false“is_published”：false}，“type”：“article“，”type_crossref“：”期刊文章“，”indexed_in“：[]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5055959064“，”display_name“：”Lars Birkedal“，”orcid“：”https://orcid.org/0000-0003-1320-0098“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Lars Birkedal“，”raw关联字符串“：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5050585539“，”display_name“：”德里克·德雷耶“，”兽人“：”https://orcid.org/0000-0002-3884-6867“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Derek Dreyer“，”raw关联字符串“：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw_affiliation_strings“：[]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5070627140“，”display_name“：”钟绍“，”兽人“：”https://orcid.org/0000-0001-8184-7649“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”钟绍“，”raw关联字符串“：[]}]，”countries_distict_count“：0，”机构_distiction_count“：0.，”对应的_author_ids“：[]，“对应的_机构_ids”：[]、“apc_list”：null，“apc_payed”：null，“has_fulltext”：false、“cited_by_count”：0，“引用_by_percentile_year”：{“min“：0，”max“：70}，”biblio“：{”volume“：”5“，”issue“：”5.“，”first_page“：”23“，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9971，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9971，“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.9938，“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9922，“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“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.522334}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.50578}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”运行时验证“，”score“：0.505379}，{”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.502273}]，”concepts“：[{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.92774713}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7948726}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6913899}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.4061851}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”http://dx.doi.org/10.4230/DagRep.5.5.1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306507525“，”display_name“：”Dagstuhl reports“，”issn_l“：”2192-5283“，”isn“：[”21925-283“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[]，“type”：“journal”}，“license”：null、“license_id”：null，“version”：null，“is_accepted”：false“is_published”：false}]，“best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：[/，”related_work斯“：[”https://openalex.org/W3194897198","https://openalex.org/W3166521255","https://openalex.org/W2972588901","https://openalex.org/W2967210034","https://openalex.org/W2770883300","https://openalex.org/W2738455","https://openalex.org/W2629449711","https://openalex.org/W2608718559","https://openalex.org/W2404941243","https://openalex.org/W2341087647网址","https://openalex.org/W2293861537","https://openalex.org/W2282457726","https://openalex.org/W2167421399","https://openalex.org/W2114641424","https://openalex.org/W2085887475","https://openalex.org/W2043044323","https://openalex.org/W1965345552","https://openalex.org/W194760742","https://openalex.org/W1868280814","https://openalex.org/W106678070“]，”ngrams_url“：”https://api.openalex.org/works/W2267257184/ngrams网站“，”abstract_inverted_index“：{”This“：[0]，”report“：[1]，”documents“：[2]，”the“：[3,6,28,38,50]，”program“：[4]，”and“：[5,22,30,35]，”results“：[7]，”of“：[8,32,52]，”Dagstuhl“：[9]，”Seminar“：[10]，”15191“：[11]，”Compositional“：[12]，”Verification“：[13]，”Methods“：[14]，“for”：[15]，“下一代”：[16]，“并发”：[17]，“\r\n”：[18]，“研讨会”：[19]，“是”：[20]，“成功”：[21]，“促进”：[23]，“a”：[24]，“刺激”：[25]，“交换”：[26]，“介于”：[27]，“理论”：[29]，“实践”：[31]，“并发”：[33]，“编程”：[34]，“因此”：[36]，“奠定”：[37]，“基础”：[39]，“为了”：[40]，“发展”：[41]，“成分”：[43]，“验证”：[44]，“方法”：[45]，“that”：[46]，“can”：[47]，“scale”：[48]，“to \r\nhandle”：[49]，“realities”：[51]，“next generation”：[53]，“concurrency.”：[54]}，“cited_by_api_url”：https://api.openalex.org/works？filter=cites:W2267257184“，”counts_by_year“：[]，”updated_date“：”2024-06-14T05:35:44.330587“，”created_dates“：”2016-06-24“}“