｛“id”：“https://openalex.org/W143008620“，”doi“：”https://doi.org/10.1007/978-3-642-54833-8_16“，”title“：”通信细粒度并发资源的状态转换系统“，”display_name“：”传输细粒度并行资源的状态转移系统“，“publication_year”：2014，“publiction_date”：“2014-01-01”，“ids”：{“openalex”：“https://openalex.org/W143008620“，”doi“：”https://doi.org/10.1007/978-3-642-54833-8_16“，”mag“：”143008620“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-54833-8_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-54833-8_16.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”丛书“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-642-54833-8_16.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5026624853“，”display_name“：”Aleksandar Nanevski“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Aleksandar Nanevski“，”raw _ afiliation_strings“：[“IMDEA软件研究所，西班牙”]，”affiliations“：[{”raw _affiliation_string“：”IMDEA Software Institute，Spain“，”institution_ids“：]”https://openalex.org/I4210162154“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5054035562“，”display_name“：”Ruy Ley-Wild“，”orcid“：null}，”institutions“：[]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“:”Ruy-Ley-Wild”，“raw_affiliation_strings”：[”LogicBlox，USA“]，“affiliations”：[{“raw_affiliation_string”：“LogicBlox，USA”，“institution_ids”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5009639508“，”display_name“：”伊利亚·谢尔盖“，”orcid“：”https://orcid.org/0000-0003-4250-5392}，“机构”：[{“id”：https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”伊利亚·谢尔盖“，”raw _ afiliation_strings“：[“IMDEA Software Institute，Spain”]，”从属关系“：[{”raw_ afiliation _string“：”西班牙IMDEA软件研究所“，”institution_ids“：[https://openalex.org/I4210162154“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5067187634“，”display_name“：”Germ\u00e1n Andr\u00e9s Delbianco“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210162154“，”display_name“：”IMDEA软件“，”err“：”https://ror.org/04xvfkh51“，”国家代码“：”ES“，”类型“：”设施“，”沿袭“：[”https://openalex.org/I105140100","https://openalex.org/I4210162154“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”Germ\u00e1n Andr\u00e9s Delbianco“，”raw _ afiliation_strings“：[“IMDEA Software Institute，Spain”]，”affiliations“：[{”raw _affiliation_string“：”IMDEA软件研究所，西班牙“，”institution_ids“：]”https://openalex.org/I4210162154“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：1，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：15.2，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_b”y_count“：88，”cited_by_percentile_year“：{”min“：98，”max“：99}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”290“，”last_page“：”310“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9984，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9954，”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/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.514475}，{”id“：”https://openalex.org/keywords/distributed-systems网站“，”display_name“：”分布式系统“，”score“：0.50471}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.86791223}，{”id“：”https://openalex.org/C121375916，“wikidata”：https://www.wikidata.org/wiki/Q936559“，”display_name“：”合成原理“，”level“：2，”score“：0.64261496}，{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.6156858}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.60918474}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5889697}，{”id“：”https://openalex.org/C11648818，“wikidata”：https://www.wikidata.org/wiki/Q2403081（网址：https://www.wikidata.org/wiki/Q2403081）“，”display_name“：”动作的时序逻辑“，”level“：4，”score“：0.50655663}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.49185967}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4668247}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”Operational semantics“，”level“：3，”score“：0.4655047｝，｛”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.44439146}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.42098707}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634网址“，”display_name“：”分布式计算“，”level“：1，”score“：0.40207866}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.23444724}，{”id“：”https://openalex.org/C162670838，“wikidata”：https://www.wikidata.org/wiki/Q6057295“，”display_name“：”时间间隔逻辑“，”level“：3，”score“：0.16153312}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.12262821}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-54833-8_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-54833-8_16.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-642-54833-8_16，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-54833-8_16.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：[%]，”datasets“：[/]，”versions“：[]]，”referenced_works_count“：14，”https://openalex.org/W136497439","https://openalex.org/W1553511155","https://openalex.org/W1607674807","https://openalex.org/W1819989006","https://openalex.org/W1965662337","https://openalex.org/W2028861803","https://openalex.org/W2090551028","https://openalex.org/W2125398300","https://openalex.org/W2132761501","https://openalex.org/W2137554739","https://openalex.org/W2142524717","https://openalex.org/W2150224578","https://openalex.org/W3023751354","https://openalex.org/W4237730680“]，”related_works“：[”https://openalex.org/W2899892155","https://openalex.org/W2479659155","https://openalex.org/W2166666675","https://openalex.org/W2100996925","https://openalex.org/W1988297271","https://openalex.org/W1891315876","https://openalex.org/W1607674807","https://openalex.org/W1606807920","https://openalex.org/W1546856751","https://openalex.org/W1508710759“]，”ngrams_url“：”https://api.openalex.org/works/W143008620/ngrams“，”“abstract_inverted_index”：{“We”：[0,68,87158179]，“present”：[1]，“a”：[2,13,52,85145184191196203]，“novel”：[3]，“model”：[4]，“of”：[5,26,51,65,74,84100107154162171193198206]，“concurrent”：[6,30]，“computers”：[7]，“with”：[8165]，“shared”：/9]，“memory”：[10]，“and”：[11,28,54149189209]，“提供“：[12,89]，“simple，”：[14]，“yet”：[15150]，“强大，”：[16]，“逻辑”：[17208]，“框架”：[18]，“for”：[19]，“uniform”：[20]，“Hoarestyle”：[21]，“推理”：[22，71]，“关于”：[23]，“部分”：[24]，“正确性”：[25]，“粗略-”：[27]，“细粒度”：[29131]，“程序”。“：[31]，”The“：[32]，”key“：[33]，”idea“：[34]，”is“：[35,59]，”to“：[36,61,80,92130137167]，”specify“：[37]，”任意“：[38,98]，”resource“：[39,53,58125132156]，”protocols“：[40]，”as“：[41123140142183202]，”communicating“：[42,75]，”state“：[43]，”transition“：[44]，”systems“：[45,95]，”（STS）“：[46]，”that“：[47]，”describe“：[48]，”valid“：[49]，”states“：[50]，”“：[55,5711317152160168181]，”转换“：[56]，”允许“：[60]，”生成“：[62]，”包括“：[63195]，”传输“：[64]，”堆“：[66]，”所有权。“：[67]，“演示”：[69]，“如何”：[70112]，“in”：[72144187]，“terms”：[73]，“STS”：[76101]，“makes”：[77]，“it”：[78]，“easy”：[79]，“concrete”：[81]，“behavior”：[82]，“invariants”：[83]，“resource”。“：[86]，”也是“：[88]，”纠缠“：[90]，”运算符“：[91]，”构建“：[93]，”大“：[94]，”from“：[96116]，”an“：[97]，”number“：[9992]，”components“：[102]，”by“：[103]，”interconnecting“：[104]，”their“：[105]，”line“：[106]，”communication“。“：[108]，”“此外，”：[109]，“we”：[110]，“show”：[111]，“classical”：+114]，“rules”：[115]，“Concurrent”：[118]，“Separation”：[119]，“Logic”：[120]，“（CSL）”：[121]，“suse”：[122]，“scoped”：%124147]，“allocation”：%126]，“can”：[127]，“be”：[128]，“generalized”：[129]，“management”。“：[133157]，“This”：[134]，“allows”：[135]，“us”：[136]，“give”：[138]，“specifications”：[139]，“powerful”：[141]，“Rely Guarantee”：[143]，“connective”，“：[146]，“way”，：[148]，“retain”：151]，“compositionality”：[153]，“CSL-style”：%155]，“proved”：[159]，“soundness”：[161]，“our”：/163]，“logic”：[164182]，“respect”“：[166]，”指称“：[169]，”语义“：[170]，”action“：[172177]，“trees”：[173]，“（variation”：[174]，“on”：[175]，“Brookes'”：[176]，“traces）。“：[178]，“形式化”：[180]，“浅层”：[185]，“嵌入”：[186]，“Coq”：[188]，“实现”：[190]，“示例”：[194]，“构造”：[197]，“粗粒度”：[199]，“CSL”：[200]，“资源”：[201]，“模块化”：[204]，“组合”：[205]，“各种”：[207]，“语义”：[210]，“组件”。“：[211]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W143008620“，”counts_by_year“：[{”年“：2024，”cited_by_count“：5}，{”年份“：2023，”ciped_by_cunt“：3}，”{“年份”：2022，“cited_by_count”：8}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：14}，{“年份”:2016，“引用_by_counts”：8}，}“年份“：2015，”引用_ by_count“：9}，{“年份”：2014，“引用_ by-count”：6}]，“更新日期”：“2024-06-23T12:25:26.340996”，“创建日期”：”2016-06-24“}