{“id”：“https://openalex.org/W2616010075“，”doi“：”https://doi.org/10.109/icst.2017.25“，”title“：“使用合同验证并发程序”，”display_name“：”使用合同验证并行程序“，”publication_year“：2017，”publiation_date“：”2017-03-01“，”ids“：{”openalex“：”https://openalex.org/W2616010075“，”doi“：”https://doi.org/10.109/icst.2017.25“，”mag“：”2616010075“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icst.2017.25“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5051981940“，”display_name“：”Ricardo Dias“，”orcid“：”https://orcid.org/0000-0002-6559-727X}，“机构”：[{“id”：https://openalex.org/I83558840“，”display_name“：”新里斯本大学“，”ror“：”https://ror.org/02xankh89“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I83558840“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Ricardo J.Dias“，”raw _affiliation_strings“：[“FCT，新里斯本大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5031885550“，”display_name“：”卡拉·费雷拉“，”兽人“：”https://orcid.org/0000-0003-3680-7634}，“机构”：[{“id”：https://openalex.org/I83558840“，”display_name“：”新里斯本大学“，”ror“：”https://ror.org/02xankh89“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I83558840“]｝]，”countries“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Carla Ferreira“，”raw_affiation_strings“：[”FCT，Universidade Nova de Lisboa“]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5018940896“，”display_name“：”Jan Fiedor“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Jan Fiedor“，”raw_affiliation_strings“：[“FIT，Brno科技大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5090925729“，”display_name“：”Jo\u00e3o Louren\u00e7o“，”orcid“：”https://orcid.org/0000-0003-2034-1104（网址：https://orcid.org/0000-0003-2034-1104）}，“机构”：[{“id”：https://openalex.org/I83558840“，”display_name“：”新里斯本大学“，”ror“：”https://ror.org/02xankh89“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I83558840“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Joao M.Lourenco“，”raw关联字符串“：[“FCT，新里斯本大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5006588826“，”display_name“：”Ale\u0161 Smr\u010dka“，”orcid“：”https://orcid.org/0000-0002-3638-6916}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Ales Smrcka“，”raw _ afiliation_strings“：[“FIT，Brno科技大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5025833966“，”display_name“：”Diogo Sousa“，”orcid“：”https://orcid.org/0000-0002-6169-8591}，“机构”：[{“id”：https://openalex.org/I83558840“，”display_name“：”新里斯本大学“，”ror“：”https://ror.org/02xankh89“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I83558840“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Diogo G.Sousa“，”raw关联字符串“：[“FCT，新里斯本大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5005128087“，”display_name“：”Tom\u00e1\u0161 Vojnar“，”orcid“：”https://orcid.org/0000-0002-2746-8792}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Tomas Vojnar“，”raw _ afiliation_strings“：[“FIT，布尔诺理工大学”]}]“countries _ distinct_count”：2，”institutions _ disting_count“：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“has_fulltext”：true，“完整文本源”：“ngrams“，”cited_by_count“：5，”cited_by_percentile_year“：{”min“：82，”max“：84}，”biblio“：{volume“：null，”issue“：null，”first_page“：nul，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9989，”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/software-dersity（https://openalex.org/keywords/software-dersity）“，”display_name“：”软件多样性“，”score“：0.51559}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.513676}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.51332}，{”id“：”https://openalex.org/keywords/concurrency网站“，”display_name“：”Concurrency“，”score“：0.50791}]，”concepts“：[{”id“：”https://openalex.org/C188045909，“wikidata”：https://www.wikidata.org/wiki/Q3306359“，”display_name“：”Atomicity“，”level“：3，”score“：0.94494665}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.8877008}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8622783}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.697729}，{”id“：”https://openalex.org/C150495011，“wikidata”：https://www.wikidata.org/wiki/Q128392“，”display_name“：”并发计算“，”level“：2，”score“：0.5543345}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”“display_name”“：”代码（集合论）“，”级别“：3，”分数“：0.4886375}，{”id“：”https://openalex.org/C80291951，“wikidata”：https://www.wikidata.org/wiki/Q1200691“，”display_name“：”合同设计“，”level“：5，”score“：0.47126508}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634网址“，”display_name“：”分布式计算“，”level“：1，”score“：0.4518095}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.45164132｝，｛”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.44943982}，{”id“：”https://openalex.org/C84511453，“wikidata”：https://www.wikidata.org/wiki/Q2914952“，”display_name“：”并发控制“，”level“：3，”score“：0.44109786}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.4390217}，{”id“：”https://openalex.org/C3701939，“wikidata”：https://www.wikidata.org/wiki/Q5159109“，”display_name“：”并发面向对象编程“，”level“：5，”score“：0.41205505}，{”id“：”https://openalex.org/C529173508，“wikidata”：https://www.wikidata.org/wiki/Q638608（网址：https://www.wikidata.org/wiki/Q638608）“，”display_name“：”软件开发“，”level“：3，”score“：0.2842387}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267“，”display_name“：”编程范例“，”level“：2，”score“：0.16642824}，{”id“：”https://openalex.org/C186846655，“wikidata”：https://www.wikidata.org/wiki/Q3398377“，”display_name“：”软件构造“，”level“：4，”score“：0.11446315}，{”id“：”https://openalex.org/C75949130，“wikidata”：https://www.wikidata.org/wiki/Q848010“，”display_name“：”数据库事务“，”level“：2，”score“：0.09661752}，{”id“：”https://openalex.org/C146206909，“wikidata”：https://www.wikidata.org/wiki/Q531152“，”display_name“：”声明性编程“，”level“：4，”score“：0.090063184}，{”id“：”https://openalex.org/C50033165，“wikidata”：https://www.wikidata.org/wiki/Q15712089“，”display_name“：”归纳编程“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icst.2017.25“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nuld，”sustainable_development_goals“：[{”score“：0.47，”display_name“：”目标合作伙伴关系“，”id“：”https://metadata.un.org/sdg/17“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：35，”referrenced_works“：【”https://openalex.org/W1445130277","https://openalex.org/W1532324212","https://openalex.org/W1862182621","https://openalex.org/W1965462925","https://openalex.org/W2000226984","https://openalex.org/W2007846881","https://openalex.org/W2016323637","https://openalex.org/W2039404410","https://openalex.org/W2047407315","https://openalex.org/W2052363833","https://openalex.org/W2064490449","https://openalex.org/W2070675148","https://openalex.org/W2072419942","https://openalex.org/W209133351","https://openalex.org/W2105391037","https://openalex.org/W2118835133","https://openalex.org/W2122206368","https://openalex.org/W2125533170","https://openalex.org/W2127637733","https://openalex.org/W2130836596","https://openalex.org/W2137422315","https://openalex.org/W2153174073","https://openalex.org/W2153229512","https://openalex.org/W2155497473","https://openalex.org/W2164288977","https://openalex.org/W2167744164","https://openalex.org/W2183890420","https://openalex.org/W2404108077","https://openalex.org/W3006382638","https://openalex.org/W3141181691","https://openalex.org/W36522297","https://openalex.org/W4233497262","https://openalex.org/W4236599350","https://openalex.org/W4243803397","https://openalex.org/W4253208645“]，”related_works“：[”https://openalex.org/W4386655599","https://openalex.org/W3153694037","https://openalex.org/W2998398829","https://openalex.org/W2903402038","https://openalex.org/W2899486387","https://openalex.org/W278655003","https://openalex.org/W2467412490","https://openalex.org/W2258437408","https://openalex.org/W2169193470","https://openalex.org/W1868584616“]，”ngrams_url“：”https://api.openalex.org/works/W2616010075/ngrams网站“，”“abstract_inverted_index”：{“The”：[0,30]，“central”：[1]，“concept”：[2,66]，“of”：[3,8,19,21,45,67]，“this”：[4]，“paper”：[5]，“is”：[6]，“that”：[7]，“contracts”：[9,31,68]，“for”：[10,69]，“concurrency”：[11]，“allowing”：[12]，“one”：[13]，“to”：[14,50]，“capture”：[15]，“The”：[16,38,63,97]，“expected”：[17,53]，“atomicity”：[18]，“sequences”：[20]，“method”：[22]，“或“：[23,41,47]，“服务”：[24]，“调用”：[25]，“in”：[26,55,71,81]，“a”：[27,56,91]，“并发”：[28,57]，“程序”。“：[29]，”may“：[32]，”be“：[33]，”either“：[34]，”extracted“：35]，”automatically“：36]，”from“：[37110]，”source“：39]，”code，“：[40]，”provided“：[42]，”by“：[43,61]，”developers“：[44]，”libraries“：[46]，”software“：[48]，”modules“：49]，”reflect“：[51]，”their“：[52,75,79111]，”usage“：[54”]，“设置。“：[58]，“我们”：[59100]，“开始”：[60]，“扩展”：[62]，“so-far”：[64]，“考虑”：[65]，“并发”：[70]，“多个”：[72]，“方式”：[73]，“改进”：[74]，“表现力”：[76]，“和”：[77,90105]，“增强”：[78]，“适用性”：[80]，“实践”。“：[82]，”然后，“：[83]，”我们“：[84]，”提议“：[85]，”两个“：[86]，”补充“：[87]，”分析\u2014a“：[88]，”静态“：[89]，”动态“：[92]，”one\u2014to“：[93]，”验证“：[94]，”程序“：[95]，”反对“：[96]，”扩展“：[98]，”合同。“：[99]，”have“：[101]，”implemented“：[102]，”both“：[103]，”approachs“：[104]，”present“：[106]，”prospective“：[107]，”experimental“：[108]，”results“：%109]，”应用程序“：[112]，”on“：[113]，”variable“：[114]，”programs，“：[115]，”including“：[116]，”real“:117]，”ones“：+118]，”where“:119]，”our“：%120]，”approach“：121”]，“公开”：[122]，“以前”：[123]，“未知“：[124]，”错误。“：[125]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2616010075”，“counts_by_year”：[｛“year”：2021，“cited_by_count”：2｝，｛“year”：2018，“cited_by_count”：2｝，｛“year”：2017，“cited_by_count”：1｝]，“updated_date”：“2024-05-10T18:44:19.456690”，“created_date”：“2017-05-26”｝