{“id”：“https://openalex.org/W4388640038“，”doi“：”https://doi.org/10.1016/j.jlamp.2023.100929“，”title“：”返回格式：概率过程SOS调查“，”display_name“：”回到格式：概率进程SOS调查”，“publication_year”：2024，“publiation_date”：“2024-02-01”，“ids”：{“openalex”：“https://openalex.org/W4388640038“，”doi“：”https://doi.org/10.1016/j.jlamp.2023.100929“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.glamp.2023.100929（网址：https://doi.org/10.1016/j.glamp.2023.100929）“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210169521“，”“display_name”：“\u0098The\u009cJournal of logical and algebral methods in programming/Journal for logical and代数methods on programming”，“issn_l”：“2352-2208”，“isn”：[“2352-22028”，“2352-2216”]，“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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://doi.org/10.1016/j.jlamp.2023.100929“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5065420986“，”display_name“：”Valentina Castiglioni“，”orcid“：”https://orcid.org/0000-0002-8112-6523}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”瓦伦蒂娜·卡斯蒂格利奥尼“，”raw _ afiliation_strings“：[“荷兰埃因霍温科技大学，德扎阿勒，5612 AZ”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5090347665“，”display_name“：”Ruggro Lanotte“，”orcid“：”https://orcid.org/0000-0002-3335-234X}，“机构”：[{“id”：https://openalex.org/I115752224“，”display_name“：”胰岛素大学“，”ror“：”https://ror.org/00s409261“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I115752224“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Ruggero Lanotte“，”raw _affiliation_strings“：[“因苏布里亚大学，via Valleggio 11，22100，Como，Italy”]}，{“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“：false，”raw_author_name“：”Simone Tini“，”raw _affiliation_strings“：[“因苏布里亚大学，via Valleggio 11，22100，Como，Italy”]}]，”countries_distinact_count“：2，”institutions_disticant_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5065420986“]，”对应的机构ID“：[”https://openalex.org/I83019370“]，”apc_list“：｛”value“：2810，”currency“：”USD“，”value_USD“：2810，”出处“：”doaj“｝，”apc_payed“：｛”value“：2810，”currency“：”USD“，”value_USD“：2810，”出处“：”doaj“｝，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：1，”cited_by_percentle_year“：｛”min“：92，”max“：97｝，”biblio“：｛”volume“：”137“，”issue“：null，”first_page“：”100929“，”last_page“：”100929“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9938，”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.985，”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/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.547845}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.512495}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.507878}]，”concepts“：[{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.7832011}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.730355}，{”id“：”https://openalex.org/C2779545769，“wikidata”：https://www.wikidata.org/wiki/Q5135364“，”display_name“：”Closeness“，”level“：2，”score“：0.6307306}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（正式语言）“，”level“：2，”score“：0.622735677｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5984843}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677网址“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.58335775}，{”id“：”https://openalex.org/C132074034，“wikidata”：https://www.wikidata.org/wiki/Q154210“，”display_name“：”同余（几何）“，”level“：2，”score“：0.54731333}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.544782}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”课程（哲学）“，”级别“：2，”分数“：0.5209476｝，｛”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.4543518}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.43317884}，{”id“：”https://openalex.org/C278009758，“wikidata”：https://www.wikidata.org/wiki/Q6804172“，”display_name“：”Measure（data warehouse）“，”level“：2，”score“：0.4114674}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.3701883}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33622038}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.27788383}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.22614977}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.19081867}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.17760912}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0｝，｛”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.jlamp.2023.100929“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210169521“，”“display_name”：“\u0098The\u009cJournal of logical and algebral methods in programming/Journal for logical and代数methods on programming”，“issn_l”：“2352-2208”，“isn”：[“2352-22028”，“2352-2216”]，“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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.jlamp.2023.100929“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210169521“，”“display_name”：“\u0098The\u009cJournal of logical and algebral methods in programming/Journal for logical and代数methods on programming”，“issn_l”：“2352-2208”，“isn”：[“2352-22028”，“2352-2216”]，“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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.5，”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”拨款“：[{”出资人“：”https://openalex.org/F432032020“，”“funder_display_name”“：”冰岛研究中心“，”award_id“：”228376-051“}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：64，”referrenced_works“：[”https://openalex.org/W1529656707","https://openalex.org/W1533525390","https://openalex.org/W1579183220","https://openalex.org/W1582292473","https://openalex.org/W1643571618","https://openalex.org/W1793726001","https://openalex.org/W182257009","https://openalex.org/W185090010","https://openalex.org/W192542240","https://openalex.org/W1938699391","https://openalex.org/W1966112122","https://openalex.org/W1969947545","https://openalex.org/W1970318869网址","https://openalex.org/W1972475472","https://openalex.org/W1972478730","https://openalex.org/W1976268573","https://openalex.org/W1983350265","https://openalex.org/W1985161650","https://openalex.org/W1994350081","https://openalex.org/W1995425798","https://openalex.org/W1995469594","https://openalex.org/W1999706742","https://openalex.org/W2015172530","https://openalex.org/W2017994823","https://openalex.org/W2020876738","https://openalex.org/W2042676555","https://openalex.org/W2044337427","https://openalex.org/W2050078030","https://openalex.org/W2063972032","https://openalex.org/W2070157304","https://openalex.org/W2071882940","https://openalex.org/W2090847457","https://openalex.org/W2092604016","https://openalex.org/W2113391296","https://openalex.org/W2125382028","https://openalex.org/W2127452188","https://openalex.org/W2135657750","https://openalex.org/W2137336375","https://openalex.org/W2137865376","https://openalex.org/W2141881497","https://openalex.org/W2144940322","https://openalex.org/W2146187895","https://openalex.org/W2152640722","https://openalex.org/W2153717963","https://openalex.org/W2154695063","https://openalex.org/W2158942489","https://openalex.org/W2289744312","https://openalex.org/W2330589374","https://openalex.org/W258022877","https://openalex.org/W2583554455","https://openalex.org/W2760914093","https://openalex.org/W2964185660","https://openalex.org/W2973264323","https://openalex.org/W2975938706","https://openalex.org/W3013492721","https://openalex.org/W3022137235","https://openalex.org/W3105577979","https://openalex.org/W31212327281","https://openalex.org/W4210639184","https://openalex.org/W4210886820","https://openalex.org/W4248627364","https://openalex.org/W4285719527","https://openalex.org/W47800957","https://openalex.org/W853395036“]，”related_works“：[”https://openalex.org/W2171004374","https://openalex.org/W2167838019","https://openalex.org/W2156746546","https://openalex.org/W2135048208","https://openalex.org/W2083792687","https://openalex.org/W2069344522","https://openalex.org/W2044965190","https://openalex.org/W1608609850","https://openalex.org/W1586382855","https://openalex.org/W1569743961“]，”ngrams_url“：”https://api.openalex.org/works/W4388640038/ngrams“，”“abstract_inverted_index”：{“In”：[0,31]，“概率”：[1,23223]，“过程”：[2,9]，“代数”：[3]，“the”：[4,28,45,53,62,97104144177184198206210222]，“classic”：[5]，“定性”：[6,29]，“描述”：[7]，“of”：[8,22,73,75,88116135168174179187213]，“behavior”：[10,74]，“is”：[11,5125147155]，“富集”：[12]，“带有”：[1310149]，“定量“：[14]，”信息“：[15]，”关于“：[16,86176]，”it，“：[17]，”通常“：[18]，”建模“：[19]，”in“：[20,90151165205221]，”术语“：[21]，“权重”：[24]，“和/或”：[25]，“分布”：[26]，“超过”：[27]，“行为”。“：[30]，”this“：[32，50190]，”setting“：[33]，”we“：[34，55192]，”use“：[35，57]，”behavior“：[36，58]，”equivalences“：[37217]，”to“：[38，60，92112129141141194208]，”check“：[39142]，”是否“：[40]，”two“：[41，76]，”processes“：[42，77]，”show“：[43]，”accretly“：[44]，”same“：[46]，”behavior“：”[47]，“and，”：[48]，“if”：[49]，“not”：[52，79]，“case，”：[54]，“can”：[56]，“metrics“：[59220]，”measure“：[61]，”distance“：[63]，”between“：[64]，”它们。“：[65]，”合成“：[66]，”推理“：[67]，”要求“：[68]，”that“：[69143152182201]，”等价“：[70]，”or“：[71]，”closeness“：[72]，”are“：[78,84150]，”destroyed“：[80]，”when“：[81]，”language“：[82113]，”operators“：[83136145175]，”applied“：+85]，”top“：87]，”them“：[89131]，”order“：[91”]，“构建”：[93]，“更大”：[94]，“过程。“：[95]，”形式上，“：[96]，”等价“：[98]，”必须“：[99106]，”be“：[100107]，”a“：[10133166172]，”同余“：[102]，”and“：[103140166218]，”metric“：[105]，”一致“：[108]，”连续“：[109]，”尊重“：[111]，”运算符。“：[114]，”代替“：[115]，”验证“：[117]，”这些“：[118]，”组成“：[119211]，”属性“：[120212]，”由“：[121157]，”手“：[122]，”运算符对运算符“：[123]，”它“：[124]，”多“：[126]，”更多“：[127]，”方便“：[128]，”证明“：[130]，”for“：[132138]，”class“：[134173]，”once“：[137]，”all，“：[139]，”一“：[146]，”交易“：[148]，”类。“：[153]，”This“：[154]，”reached“：[156]，”means“：[158]，”SOS“：[160180]，”specification“：161199]，”formats:“：-162]，”these“：[163]，”compose“：[164]，”set“：[167]，”syntractical“：[169]，”constraints“：[170]，”charactering“：[171]，”patterns“：[178]，”rules“：[181]，”define“：[183]，”operational“：[185]，”semantics“：[186]，“语言。“：[188]，“With”：[189]，“survey”：[191]，“aim”：[193]，“collect”：[195]，“describe”：[197]，“formats”：[200]，“have”：[202]，“been”：[203]，“proposed”：[204]，“literature”：[207]，“guarantee”：[209]，“（variants”：[214]，“of）”：[215]，“bisimulation”：[216219]，“setting”。“：[224]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4388640038“，”counts_by_year“：[]，”updated_date“：”2024-05-23T02:44:06.587245“，”created_date:“2023-11-14”}“