{“id”：“https://openalex.org/W1994157580“，”doi“：”https://doi.org/10.1006/jsco.1996.0064“，”title“：”Timed Default Concurrent Constraint Programming“，”display_name“：”定时默认并发约束编程“，”publication_year“：1996，”publitation_date“：”1996-11-01“，”ids“：{”openalex“：”https://openalex.org/W1994157580“，”doi“：”https://doi.org/10.1006/jsco.1996.0064“，”mag“：”1994157580“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0064“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is_in_doaj“：false，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/jsco.1996.0064“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5014251923“，”display_name“：”Vijay Saraswat“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I173498003“，”display_name“：”Palo Alto研究中心“，”ror“：”https://ror.org/0529fxt39“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I173498003","https://openalex.org/I4210132870“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”VIJAY SARASWAT“，”raw _ afiliation_strings“：[“施乐帕洛阿尔托研究中心，3333 Coyote Hill Road，Palo Alto，94304，CA，U.S.A.”]，“从属关系”：[{“raw_affiliation_strong”：“施乐巴洛阿尔托科研中心，333333 Coycate Hill Rood，Palo Alto，9404，CA，US.A.”，“institution_ids”：[“https://openalex.org/I173498003“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056673780“，”display_name“：”Radha Jagadeesan“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1925986“，”display_name“：”芝加哥洛约拉大学“，”ror“：”https://ror.org/04b6x2g63“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I1925986“]｝]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”RADHA JAGADEESAN“，”raw_affiation_string“：[”美国伊利诺伊州芝加哥市洛约拉大学湖岸校区数学科学系“]，”附属“：[｛”raw_affiation_string“：”美国伊利诺伊州芝加哥市洛约拉大学湖岸校区数学科学系，60626“，”institution_ids“：[”https://openalex.org/I1925986“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5057336278“，”display_name“：”Vineet Gupta“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I173498003“，”display_name“：”Palo Alto研究中心“，”ror“：”https://ror.org/0529fxt39“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I173498003","https://openalex.org/I4210132870“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”VINEET GUPTA“，”raw _ afiliation_strings“：[“施乐帕洛阿尔托研究中心，3333 Coyote Hill Road，Palo Alto，94304，CA，U.S.A.”]，“附属机构”：[{“raw_affiliation_string”：“施乐巴洛阿尔托科研中心，333333 Coycote Hill Rood，Palo Alto，9404，CA，US.A.”，“institution_ids”：[“https://openalex.org/I173498003“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、”apc_list“：{”value“：2770，”currency“：”USD“，”value_USD“：2770'，”provenance“：”doaj“}，”apc_payd“：null，”fwci“：7.22，”has_fulltext“：false，”cited_by_count百分位年份：{“最小”：96，“最大”：97}，“图书”：{体积：“22“，”问题“：“5-6”，”第一页“：“475”，”最后一页“：”520“}，”被收缩“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9996，“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.9995，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.998，”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/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.548261}，{”id“：”https://openalex.org/keywords/programming-language-semantics（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.51464}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.508516}，{”id“：”https://openalex.org/keywords/software-development网站“，”display_name“：”软件开发“，”score“：0.506335}]，”概念“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.7474428}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6680843}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5599171}，{”id“：”https://openalex.org/C173404611，“wikidata”：https://www.wikidata.org/wiki/Q528588“，”display_name“：”约束编程“，”level“：3，”score“：0.55984074}，{”id“：”https://openalex.org/C160236029，“wikidata”：https://www.wikidata.org/wiki/Q842421“，”display_name“：”默认逻辑“，”level“：5，”score“：0.51329774}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.50520283}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.49466988}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.49400645}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”Semantics（计算机科学）“，”level“：2，”score“：0.45555267｝，｛”id“：”https://openalex.org/C41608201，“wikidata”：https://www.wikidata.org/wiki/Q980509“，”display_name“：”Embedding“，”level“：2，”score“：0.42951328}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.38135996}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33033407}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.17401263｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1313175}，{”id“：”https://openalex.org/C137631369，“wikidata”：https://www.wikidata.org/wiki/Q7617831“，”display_name“：”随机编程“，”level“：2，”score“：0.12128991}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.10712701}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0064“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is_in_doaj“：false，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0064“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is_in_doaj“：false，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1497559908","https://openalex.org/W1501129163","https://openalex.org/W1503162127","https://openalex.org/W1503973138","https://openalex.org/W1535149389","https://openalex.org/W1563855770","https://openalex.org/W1570112753","https://openalex.org/W1583167984","https://openalex.org/W1597755753","https://openalex.org/W1672891595","https://openalex.org/W1866624891","https://openalex.org/W1875492031","https://openalex.org/W1964656133","https://openalex.org/W1986583217","https://openalex.org/W2020666986","https://openalex.org/W2037452045","https://openalex.org/W2081938726","https://openalex.org/W2099529102","https://openalex.org/W2100500718","https://openalex.org/W2112779958","https://openalex.org/W2115457987","https://openalex.org/W2125415493","https://openalex.org/W2139634814","https://openalex.org/W2142423074","https://openalex.org/W2143082793","https://openalex.org/W2155322595","https://openalex.org/W2157746363","https://openalex.org/W2159542925","https://openalex.org/W2164297069","https://openalex.org/W2463035841","https://openalex.org/W2912349384","https://openalex.org/W3000457705","https://openalex.org/W31405182","https://openalex.org/W3144368627","https://openalex.org/W93945635“]，”related_works“：[”https://openalex.org/W4242750723","https://openalex.org/W2736628755","https://openalex.org/W2610338118","https://openalex.org/W2491239989","https://openalex.org/W2365168741","https://openalex.org/W2020731817","https://openalex.org/W1596719193","https://openalex.org/W1586765942","https://openalex.org/W1568014551","https://openalex.org/W1536334038“]，”ngrams_url“：”https://api.openalex.org/works/W1994157580/ngrams“，”“abstract_inverted_index”：{“Synchronous”：[0]，“programming”：[1,9,43,95121197]，“（Berry，”：[2]，“1989）”：[3]，“is”：[4105214222236270]，“a”：[5,26,52175187335342]，“powerful”：[6,29]，“approach”：[7]，“to”：[8,64114133140149157174]，“reactived”：[10]，“systems.”：[11]，“Following”：[12]，“the”：[13,36]60115127142163194212220228240283298346]，“idea“：[14]，”that“：[15106219233267]，”\u201cprocesses“：[16]，”are“：[17,91108]，”relationships“：[18]，”extended“：[19]，”over“：[20]，”time\u201d“：[21]，”（Abramsky，“：[22]，”1993），“：23]，”we“：[24,49,58154333]，”submit“：[25]，”simple“：[27]，“but”：[28]，“model”：[30,38]5,53,6121321]，“for”：[31,39,54210274]，“timed”，：[32]，“determine”：[33]，“computation”，“：[34]，”extending“：[35]，”closure-operator“：[37]，”untimed“：[40]，”concurrent“：[41119]，”contraction“：[42120]，”（CCP）。“：[44]，”In“：[45250296]，”Saraswate“：[46329]，”al.“：[47330]，”（1994a）“：[48]，”had“：[50155]，”proposed“：[51]，”this“：[55268324]，”called“：56]，”tcc\u2014here“：[57]，”extend“：59]，”of“：[6211816617819024227830832338345]，”tcc“：[63159179]，”express“：[65]，”strong“：[66]，”超时：“：[67]，”如果“：[68]，”an“：[69208262]，”eventAdoes“：[70]，”not“：[71]，“发生”：[72,77]，“通过”：[73147]，“时间”：[74]，“原因”：[75]，“事件Bto”：[76]，“at”：[78]，“timet.”：[79]，“这样”：[80]，“构造”：[81]，“出现”：[82]，“自然”：[83]，“in”：[84,87,93]，“实践”：[85]，“（例如”：[86]，“建模”：[88]，“晶体管）”：[89]，“和”：[90199238247272312318]，“支持”：[92]，“同步”：[94229284]，“语言”：[96230]，“The”：[97]，“basic”：[98]，“conceptional”：[99]，“difficture”：[100]，“positioned”：[101]，“by”：[102125205224]，“these”：[103]，“operations”：[104]，“theys”：[107]，“non-monotonic”：[109]，“We”：[110185217231]，“provide”：[111200]，“compositional”：[112237]，“semantics”：[11323]，“非单调”：[116]，“version”：[117322]，“（默认为“：[122]，“cc）”：[123]，“已获取”：[124]，“更改”：[126]，“底层”：[128]，“逻辑”：[129132269]，“来自”：[130160227]，“直觉主义”：[131263]，“赖特”：[134]，“默认”：[135]，“逻辑学”：[136]，“此”：[137304]，“允许”：[138]，“我们”：[139206]，“使用”：[141]，“相同”：[143]，“构造”：[144]，“统一”：[145]，“扩展”：[146]，“时间）”：[148]，“开发”：[150158]，“默认”用法：[151170182195234252279286309]，“cc”：[1521671711831962352532800287310]，“as”：[153207258328]，“used”：[156]，“cc.”：[161]，“Indeed”：[162]，“smooth”：[164176]，“embedding”：[165177]，“process”：[168172180]，“into”：[169181292]，“lives”：%173]，“Process。”：[184]，“identify”：[186]，“basic”：[188]，“set”：[189]，“组合词”：[191226]，“（that”：[192]，“构成”：[193]，“框架），“：[198]，“构造”：[201]，“操作”：[202]，“（实现”：[204]，“解释程序）”：[209]，“其中”：[211]，“完全”：[215]，“抽象”：[216]，“显示”：[21823266]，“表达”：[223]，“定义”：[225]，“支持”：[239]，“属性”：[241]，“多形”：[243]，“时间”：[244]，“正交”：[245]，“优先权”：[246]，“可执行文件”：[248]，“规范。”：[249]，“加法”：[251297]，“程序”：[254288311]，“can”：[255289300]，“be”：[256290301]，“read”：[257]，“逻辑”：[259]，“公式”：[260]，“（in”：[261]，“temporal”：[264]，“logic）\u2014we”：265]，“声音”：[271]，“完成”：[27336]，“推理”：[275]，“关于”：[276]，“（in）equivalence”：[277]，“programs”：[281]，“Like”：[282]，“languages”：[285]，“已编译”：[291]，“有限”：[293]，“状态”：[294]，“自动机”：[295]，“翻译”：[299]，“指定”：[302]，“成分。”：[303]，“启用”：[305]，“分离”：306]，“编译”：[304 317]，“运行时”：[313]，”权衡“：[314]，“介于”：[35]，“部分”：[316]，“解释。”：319]，“A”：[320]，“初步”：[321]，“论文”：[352]，“是”：[316]，“发表”：[327]，“（1995）.”：[331]，“这里”：[323]，“现在”：[344]，“治疗”：[37344]https://api.openalex.org/works？filter=cites:W1994157580“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：1}，}“年份“：2021，”“cited_by-count”“：2}.，{”“年份”“：2019，”“gited_by/count”年份“：2015，”引用by_count“：2}，{“年份”：2014，”引用by_count，｛“年份”：2012，“引用日期”：2｝]，“更新日期”：“2024-06-20T06:50:076.799497”，“创建日期”：“2016-06-24”｝