{“id”：“https://openalex.org/W2973264323“，”doi“：”https://doi.org/10.1016/j.tcs.2019.09.019“，”title“：”非确定性概率过程上的公制线性时间分支时间谱“，”display_name“：”不确定性概率过程的公制非线性时间分支时间频谱“，”publication_year“：2020，”publitation_date“：”2020-04-01“，”ids“：{”openalex“：”https://openalex.org/W2973264323“，”doi“：”https://doi.org/10.1016/j.tcs.2019.09.019“，”mag“：”2973264323“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2019.09.019“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5065420986“，”display_name“：”Valentina Castiglioni“，”orcid“：”https://orcid.org/0000-0002-8112-6523}，“机构”：[{“id”：https://openalex.org/I4210126360“，”display_name“：”Inria Saclay-\u00cele-de-France研究中心“，”ror“：”https://ror.org/0315e5x55“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283","https://openalex.org/I4210126360“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I123185442“，”display_name“：”雷克雅夫\u00edk大学“，”ror“：”https://ror.org/05d2kyx68“，”country_code“：”IS“，”type“：“教育”，”世系“：[”https://openalex.org/I123185442“]}]，”countries“：[”FR“，”IS“]，”IS_corresponding“：true，”raw_author_name“：”Valentina Castiglioni“，”raw _affiliation_strings“：[INRIA Saclay-Ile de France，France“，”冰岛雷克雅未克大学“]}，{”author_position“：”middle“，”author“：{”id“https://openalex.org/A5069085203“，”display_name“：”Michele Loreti“，”orcid“：”https://orcid.org/0000-0003-3061-863X}，“机构”：[{“id”：https://openalex.org/I112859197“，”display_name“：”卡梅里诺大学“，”ror“：”https://ror.org/0005w8d69“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I112859197“]｝]，”countries“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Michele Loreti“，”raw_affiation_strings“：[”意大利卡梅里诺大学“]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5060188970“，”display_name“：”Simone Tini“，”orcid“：”https://orcid.org/0000-0002-3991-5123}，“机构”：[{“id”：https://openalex.org/I115752224“，”display_name“：”胰岛素大学“，”ror“：”https://ror.org/00s409261“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I115752224“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Simone Tini“，”raw _affiliation_strings“：[“意大利因苏布里亚大学”]}]“countries_disticont_count”：3，”institutions_disticent_count“：5，”corresponding_author_ids“：[https://openalex.org/A5065420986","https://openalex.org/A5069085203","https://openalex.org/A5060188970“]，”对应的机构ID“：[”https://openalex.org/I4210126360","https://openalex.org/I1326498283","https://openalex.org/I123185442","https://openalex.org/I112859197","https://openalex.org/I115752224“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _payed“：”{“value”：2690；”currentary“：”美元“，”value_USD”：2670，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：11，“citected_by_percentile_year”：{“min”：89，“max”：90}，《图书》：{卷：“813”，“issue”：null，“first_page”：“20”，“last_page”：“69”}，“is_retracted”：falseis_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.9972，“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.9959，“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/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.534739}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.528132}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.524734}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.514634}]，”concepts“：[{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.88386285}，{”id“：”https://openalex.org/C121375916，“wikidata”：https://www.wikidata.org/wiki/Q936559“，”display_name“：”合成原理“，”level“：2，”score“：0.79239744}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.7242218}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6047138｝，｛”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.5580372}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.51883376}，{”id“：”https://openalex.org/C176217482，“wikidata”：https://www.wikidata.org/wiki/Q860554“，”display_name“：”公制（单位）“，”级别“：2，”分数“：0.50234723}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.43032128}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.4251036}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.41029865}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.34331766}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2808153}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C21547014，“wikidata”：https://www.wikidata.org/wiki/Q1423657“，”display_name“：”操作管理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2019.09.019“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“id”：“https://metadata.un.org/sdg/10“，”display_name“：”减少不平等“，”score“：0.44}]，”grants“：[{”funder“：”https://openalex.org/F432032020“，”“funder_display_name”“：”冰岛研究中心“，”award_id“：”196050-051“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：24，”referrenced_works“：[”https://openalex.org/W1540519426","https://openalex.org/W1555138513","https://openalex.org/W1793726001","https://openalex.org/W185090010","https://openalex.org/W1976268573","https://openalex.org/W1994350081","https://openalex.org/W2010466545","https://openalex.org/W2010586473","https://openalex.org/W2015172530","https://openalex.org/W2063972032","https://openalex.org/W2090847457","https://openalex.org/W2092604016","https://openalex.org/W2102097307","https://openalex.org/W2110601664","https://openalex.org/W2135115058","https://openalex.org/W2152640722","https://openalex.org/W2153717963","https://openalex.org/W2157144873","https://openalex.org/W2583554455","https://openalex.org/W2760914093","https://openalex.org/W2949241705","https://openalex.org/W3022137235","https://openalex.org/W31212327281","https://openalex.org/W4210886820“]，”related_works“：[”https://openalex.org/W4297792110","https://openalex.org/W2966086059","https://openalex.org/W2963209704","https://openalex.org/W2888378172","https://openalex.org/W2595899102","https://openalex.org/W2421475109","https://openalex.org/W2079791993","https://openalex.org/W2059442203","https://openalex.org/W1629505938网址","https://openalex.org/W1598337380“]，”ngrams_url“：”https://api.openalex.org/works/W2973264323/ngrams网站“，”“abstract_inverted_index”：{“behavior”：[0]，“equivalences”：[1]，“were”：[2]，“introduced”：[3]，“as”：[4,64,66,77]，“a”：[5]，“simple”：[6]，“and”：[7,47,80,99107131150169]，“优雅”：[8]，“证明”：[9]，“方法学”：[10]，“for”：[11]，“建立”：[12]，“是否”：[13]，“43102105108126138141155166186]，“行为”：[15143]，““：[16,28,45,56,62,73119144157165]，“两个”：[17]，“进程”：[18145]，“不能”：[19]，“是”：[20134]，“可分辨”：[21]，“通过”：[22]，“an”：[23]，“外部”：[24]，“观察者”。“：[25]，”The“：[26]，”knowledge“：[27]，”observers“：[29]，”Commerly“：[30]，”depends“：[31]，”on“：[32,39125]，”observations“：[34,63]，”that“：[35122132]，”they“：[36]，”can“：[37,92133]，”make“：[38]，”process“：[C0,57]，”behavior“。“：[41,58]，”“此外，”：[42]，“组合”：[44]，“不确定性”：[46]，“概率”：[48]，“in”：[49140163]，“并发”：[50]，“系统”：[51]，“引导”：[52]，“到”：[53,70,87,97136148181]，“多个”：[54]，“解释”：[55,68]，“清楚”：[59]，“不同”：[60,67,71]，“种类”：[61,72]，“好”：[65]，“领导”：[69]，“行为”：[74120]，“关系”：[75]，“这样的“：[76]，”（bi）模拟，“：[78]，”跟踪“：[79]，”测试。“：[81]，”If“：[82]，”we“：[83,91115170177]，”restrict“：[84]，”our“：+85]，”attention“：[86]，”linear“：[88142189]，”properties“：[89156]，”only“：[90]，”identified“：[93]，”thire“：[94127]，”main“：[95]，”approachs“：[96129]，”trace“：[98103149]，”testing“：[100151]，”semantices:“：[101]，”distributions“：[104]，“逐行追踪”：[106]，“极值”：[109]，“概率“：[110]，”接近。“：[111]，”In“：[112]，”this“：[113]，”paper“：[114]，”suggest“：[116]，”novely“：[117]，”concepts“：+118]，”metrics“：121]，”are“：/123]，”based“：[124]，”classic“：[128]，”over“：[130]，”used“：[135]，”measure“：[137]，”divisions“：[139]，”with“：%146]，”respect“semantics”。“：[152]，“We”：[153]，“study”：[154]，“these”：[158]，“metrics”：[159183]，“like”：[160]，“compositionality”：[161]，“（expressed”：[162]，“terms”：[164]，“non-pansiveness”：[167]，“property”），“：[168]，”compare“：[171178]，”their“：[172]，“expressivery”：[173]，“powers”。“：[174]，“更多”：[175]，“精确”，：[176]，“它们”：[179]，“也”：[180]，“（bi）模拟”：[182]，“因此”：[184]，“获取”：[185]，“第一个”：[187]，“度量”：[188]，“时间”：[190193]，“\u2013”：[191]，“分支”：[192]，“频谱”。“：[194]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2973264323“，”counts_by_year“：[{”year“:2024，”cited_by_count“：1}，{”year“：2023，”cited_by_count”：1}，{“year”：2022，”citecd_by_count“：4}，”{“年”：2021，”citesd_by_count“:2}，“年”:2020，”citted_by-count“:3}]，”updated_date“：”2024-05-18T13:33:23.036075“，”created_date:“2019-09-26”}