{“id”：“https://openalex.org/W2165788600“，”doi“：”https://doi.org/10.1016/j.entcs.2004.05.003“，”title“：”A Process Calculus of Atomic Commit“，”display_name“：”B Process Calculous of Atomic-Mcommit“，“publication_year”：2004，”publication_date“：”2004-12-01“，”ids“：{”openalex“：”https://openalex.org/W2165788600“，”doi“：”https://doi.org/10.1016/j.entcs.2004.05.003“，”mag“：”2165788600“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2004.05.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/j.entcs.2004.05.003“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5087949298“，”display_name“：”Laura Bocchi“，”orcid“：”https://orcid.org/0000-0002-7177-9395}，“机构”：[{“id”：https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]｝]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Laura Bocchi“，”raw_affiation_strings“：[”意大利博洛尼亚大学计算机科学系“]，”附属机构“：[{”raw_affiation_string“：”意大利博洛尼亚大学计算机科学系“，”institution_ids“：[”https://openalex.org/I9360294“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5005367370“，”display_name“：”Lucian Wischik“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”countries“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Lucian Wischik“，”raw _ afiliation_strings“：【”意大利博洛尼亚大学计算机科学系“】，”affiliations“：[{”raw _affiliation_strong“：”意大利博罗尼亚大学计算机系“，”institution_ids“：[“https://openalex.org/I9360294“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5087949298","https://openalex.org/A5005367370“]，”对应的机构ID“：[”https://openalex.org/I9360294","https://openalex.org/I9360294“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.766，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：7，”citation_normalized_percentile“：{”value“：0783912，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”citected_by_percentile_year“：{”min“：79，”max“：80}，“biblio”：{“volume”：“105“，”issue“：null，”first_page“：”119“，”last_page“：”132“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9999，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9999，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9942，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9894，”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/commit（https://openalex.org/keywords/commit）“，”display_name“：”Commit“，”score“：0.663327}，{”id“：”https://openalex.org/keywords/process-calculus“，”display_name“：”进程演算“，”score“：0.65905166}，{”id“：”https://openalex.org/keywords/rendezvous网站“，”display_name“：”Rendezvous“，”score“：0.6348834}，{”id“：”https://openalex.org/keywords/bisimulation网站“，”display_name“：”双向模拟“，”score“：0.53879106}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.498366}，{”id“：”https://openalex.org/keywords/pi-calculus“，”display_name“：”Pi演算“，”score“：0.48325354}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.76658773}，{”id“：”https://openalex.org/C153180980，“wikidata”：https://www.wikidata.org/wiki/Q19776675“，”display_name“：”Commit“，”level“：2，”score“：0.663327}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.65905166}，{”id“：”https://openalex.org/C2779968344，“wikidata”：https://www.wikidata.org/wiki/Q3932925“，”display_name“：”Rendezvous“，”level“：3，”score“：0.6348834}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.591593}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.55848575}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双刺激“，”level“：2，”score“：0.53879106｝，｛”id“：”https://openalex.org/C2984882572，“wikidata”：https://www.wikidata.org/wiki/Q602886“，”display_name“：”Pi演算“，”level“：2，”score“：0.48325354}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37580916}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2437996｝，｛”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”Database“，”level“：1，”score“：0.10613957}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.09327072}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C1276947，“wikidata”：https://www.wikidata.org/wiki/Q333“，”display_name“：”天文学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C29829512，“wikidata”：https://www.wikidata.org/wiki/Q40218“，”display_name“：”Spacecraft“，”level“：2，”score“：0.0}]，“mesh”：[]，“locations_count”：2，“location”：[{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2004.05.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.183.7044，“pdf_url”：http://www.wischik.com/lu/research/acommit-rendezvous.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2004.05.003“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”目标伙伴关系“，”score“：0.44，”id“：”https://metadata.un.org/sdg/17“}]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：11，”referenced_works“：[”https://openalex.org/W1545155892","https://openalex.org/W1555669967","https://openalex.org/W1603799276","https://openalex.org/W1892282171","https://openalex.org/W1976772592","https://openalex.org/W1999704832","https://openalex.org/W2050942832","https://openalex.org/W2100288563","https://openalex.org/W2109585055","https://openalex.org/W3124439491网址","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W4300624557","https://openalex.org/W2951374406","https://openalex.org/W2560421581","https://openalex.org/W2360904482","https://openalex.org/W2346414977","https://openalex.org/W2119035971","https://openalex.org/W2066263226","https://openalex.org/W1945318122","https://openalex.org/W1605179516","https://openalex.org/W1558702242“]，”abstract_inverted_index“：{”This“：[0]，”article“：[1]，”points“：[2]，”out“：[3]，”a“：[4,44,48,63,70,84]，”strong“：[5]，”connection“：[6]，”between“：[7126]，”process“：[8]，”calculi“：[9]，”and“：[10,97105128145149]，”atomic“：[11,30,39,67,80129]，”commit.“：[12]，”process“：[13]，“演算”：[14,49,59,88,94127135]，“集合”：[15,27,53,89]，“是”：[16,28]，“an“：[17,29120138157]，”抽象“：[18103]，”语义“：[19]，”for“：[20,38]，”承诺。“：[22]，”An“：[23]，”implementation“：[24]，”of“：[25,47,66,79,87110123]，”process-calculus“：[26]，”commit“：[31,40,68]，”协议。“：[32]，”South，“：[33]，”the“：[34,57,76,92106124133]，”traditional“：[35,52]，”corrective“：[36141]，”properties“：[37]，”are“：[41]，”entated“：[42]，”by“：[43143]，”bisimulation“：[45]，“proof”：[46]，”implementation“。“：[50]，”实际上，“：[51]，”作为“：[54]，”发现“：[55]，”in“：[56156165]，”pi“：[58]，”对应“：[60]，”to“：[61,91136]，”just“：[62]，”special“：[64]，”case“：[65,78]，”调用“：[69]，”binary“：[%1]，”内聚。“：[72]，”If“：[73]，”we“：[74131]，”take“：[75]，”general“：[77]，”commit“：[81130]，”this“：[82]，”induced“：[83]，”richer“：[85]，”form“：[86]，”similant“：[90]，”join“：[93]，”Fournet“：[95]，”C.“：[96]，”G.“：[98]，”Gonthier“：[99]，”The“：[1000152]，”reflective“：[101]，“化学”：[102]，“机器”：[104]，“连接微积分”：[107]，“in：”：[108160]，“Proceedings”：[109]，“POPL”：[111]，“'96”，“：[112]，“ACM”：[113]，“（1996），”：[114]，“pp.”：[115]，“372\u2013385.”：[116]，“URL”：[1171]，“http://research.microsoft.com/~fournet/papers/freflective-cham-join-calculus.ps]。“：[118]，“As”：[119]，“extended”：[121158]，“example”：[122]，“analogical”：[125]，“use”：[132]，“induced”：%134]，“reformulate”：[137]，“earlier”：[139]，“2PCP”：[140]，“result”：%142]，“Berger”：[144]，“Honda”：+146]，“[Berger，”：[147]，“M.”：/148]，“K.”：[150]，“本田，”：151]，“两阶段”：[153]，“承诺”：[154]，“协议”：[155]，“pi-calculus”：[159]，“EXPRESS”：[161]，“'00，”：[162]，“电子”：[163]，“注释”：[164]，“理论”：[166]，“计算机”：[167]，“科学”：[168]，“39”：[169]，“（2000）.”：[170]，“ftp://ftp.dcs.qmw.ac.uk/lfp/martin/express00.ps.gz].“：[172]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2165788600“，”counts_by_year“：[{“年份”：2019，”cited_by_count“：1}，{“年度”：2015，”cited_by_count”：1}]，”updated_date“：”2024-08-19T03:28:19.173294“，”created_date:“2016-06-24”}