｛“id”：“https://openalex.org/W1982254742“，”doi“：”https://doi.org/10.1016/j.tcs.2005.09.064“，”title“：”进程代数规范的状态空间约简“，”display_name“：”过程代数规范的态空间约简”，“publication_year”：2006，“publiation_date”：“2006-02-01”，“ids”：{“openalex”：“https://openalex.org/W1982254742“，”doi“：”https://doi.org/10.1016/j.tcs.2005.09.064“，”mag“：”1982254742“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2005.09.064“，”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/A5022400989“，”display_name“：”Hubert Garavel“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Hubert Garavel“，”raw _ afiliation_strings“：[“INRIA Rh\u00f4ne-Alpes/VASY，655，avenue de l'Europe，F-38334 St.Ismier Cedex，France”]，“affiliations”：[{“raw_affiliation_string”：“INRIA-Rh\u 00f4NE-Alpes/WASY，655法国圣伊斯梅尔·塞德克斯机构ID“：[”https://openalex.org/I1326498283“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5022335982“，”display_name“：”Wendelin Serwe“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Wendelin Serwe“，”raw _ afiliation_strings“：[“INRIA Rh\u00f4ne-Alpes/VASY，655，avenue de l'Europe，F-38334 St.Ismier Cedex，France”]，“affiliations”：[{“raw_affiliation_string”：“INRIA-Rh\u 00f4NE-Alpes/WASY，655法国圣伊斯梅尔·塞德克斯机构ID“：[”https://openalex.org/I1326498283“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5022400989“]，”对应的机构ID“：[”https://openalex.org/I1326498283“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2660，”provenance“：”doaj“}，”apc _pay“：null，”fwci“：3.227，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：31，”cited_by_percentile_year“：{”min“：91，”max“：92}，“biblio”：{“volume”：“351”，“issue”：“2”，”first _page“：”131“，”last_page“：”145“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9963，”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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9946，“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/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.494313}]，”concepts“：[{”id“：”https://openalex.org/C277979595794，“wikidata”：https://www.wikidata.org/wiki/Q7315343“，”display_name“：”重置（财务）“，”级别“：2，”分数“：0.7290204}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.6985532}，{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.6805439}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6368883}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”State space“，”level“：2，”score“：0.6215712｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.5873873}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.50896025}，{”id“：”https://openalex.org/C489000，“wikidata”：https://www.wikidata.org/wiki/Q747385“，”display_name“：”数据流图“，”level“：2，”score“：0.50809765}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.49123687｝，｛”id“：”https://openalex.org/C129537906，“wikidata”：https://www.wikidata.org/wiki/Q7603913“，”display_name“：”状态变量“，”level“：2，”score“：0.4749898}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548（网址：https://www.wikidata.org/wiki/Q1414548）“，”display_name“：”Concurrency“，”level“：2，”score“：0.46843418}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46769145}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4385189}，{”id“：”https://openalex.org/C182365436，“wikidata”：https://www.wikidata.org/wiki/Q50701“，”display_name“：”变量（数学）“，”level“：2，”score“：0.42160508}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.36711073}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.32178628｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.26935434}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”Database“，”level“：1，”score“：0.08568683}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C106159729，“wikidata”：https://www.wikidata.org/wiki/Q2294553“，”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/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”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.2005.09.064“，”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”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：8，“referrenced_works”：https://openalex.org/W1483806673","https://openalex.org/W1491178396","https://openalex.org/W1589769328","https://openalex.org/W1816460274","https://openalex.org/W2010609147","https://openalex.org/W2155800989","https://openalex.org/W2647579703","https://openalex.org/W2787921877“]，”related_works“：[”https://openalex.org/W80513250","https://openalex.org/W3184499045","https://openalex.org/W2324339387","https://openalex.org/W2155852086","https://openalex.org/W2119035971","https://openalex.org/W2010690522","https://openalex.org/W188099908","https://openalex.org/W1604894272","https://openalex.org/W1554465161","https://openalex.org/W123162335“]，”ngrams_url“：”https://api.openalex.org/works/W1982254742/ngrams网站“，”“abstract_inverted_index”：{“数据流”：[0]，“分析”：[1,70]，“到”：[2,9,33,41,53]，“标识”：[3]，“死”：[4]，“变量”：[5,47108]，“和”：[6104]，”“重置”：[7,50102]，“它们”：[8]，“an”：[10,14,72]，“未定义”：[11]，“值”：[12]，“是”：[13,31,37]，“有效”：[15]，“技术”：[16,30]，“用于”：[17]，“战斗”：[18]，“状态”：[19,79]，“爆炸”：[20]，“在“：[21,45]，”the“：[22,54,58,98]，”enumerative“：[23]，”verification“：[24]，”of“：[25,57100]，”concurrent“：[26]，”systems中。“：[27]，”虽然“：[28]，”这“：[29,65]，”适应良好“：[32]，”命令“：[34]，”语言，“：[35]，”它“：[36]，”不“：[38]，”直接“：[39]，”适用“：[40]，”值传递“：[42]，”进程“：[43,83]，”代数“：[44]，”其中“：[46,82]，”不能“：[48]，”be“：[49,87]，”显式“：[51]，”到期”：[52]，“单一赋值”：[55]，“约束”：[56]，“功能”：[59]，“编程“：[60]，”样式。“：[61]，”This“：[62]，”paper“：[63]，”addresses“：[64，92]，”problem“：[66]，”by“：[67]，”performing“：[68]，”data flow“：[69]，”on“：[71]，”intermediate“：[73]，”model“：[74]，”（Petri）：[75]，”nets“：[76]，”extended“：[77]，”with“：[78]，”variables“：[80]，”into“：[81]，”代数“：[84]，”specifications“：[85]，”可以“：[86]，”翻译“：[88]，”自动。“：[89]，“它”：[90]，“也”：[91]，“重要”：[93]，“问题”：[94]，“例如”：[95]，“如”：[96]，“避免”：[97]，“介绍”：[99]，“无用”：[101]，“操作”：[103]，“处理”：[105]，“共享”：[106]，“只读”：[107]，“that”：[109]，“child”：[110]，“进程”：[111]，“继承”：[112]，“来自”：[113]，“他们的”：[114]，“父母。“：[115]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1982254742“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：2}，}“年份“：2020，”“cited_by-count”“：3}，”“年份”“：2019，”“：2013，”cited_by_count“：2}，{“年份”：2012，”cited_by_count”：2}]，”updated_date“：”2024-06-23T23:48:46.375792“，”创建日期“：”2016-06-24“}