{“id”：“https://openalex.org/W2139877881“，”doi“：”https://doi.org/10.109/sccc.2007.17“，”title“：”Reducing Component Systems’Behavior Specification“，”display_name“：”Reducing Compnent Systems‘Behavior-Specification“，”publication_year“：2007，”publiation_date“：”2007-11-01“，“ids”：{“openalex”：“https://openalex.org/W2139877881“，”doi“：”https://doi.org/10.109/sccc.2007.17“，”mag“：”2139877881“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sccc.2007.17“，”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/A5068373349“，”display_name“：”Viliam Holub“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I21250087“，”display_name“：”查尔斯大学“，”ror“：”https://ror.org/024d6js02“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I21250087“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Viliam Holub“，”raw_affiliation_strings“：[“捷克共和国查尔斯大学分布式系统研究组”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5056797176“，”display_name“：”Franti\u0161ek Pl\u00e1\u0161il“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210155092“，”display_name“：”捷克科学院计算机科学研究所“，”ror“：”https://ror.org/0496n6574“，”country_code“：”CZ“，”type“：”facility“，”沿袭“：[”https://openalex.org/I202391551","https://openalex.org/I4210155092“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Frantisek Plasil“，”raw _ afiliation_strings“：[“捷克共和国科学院计算机科学研究所\uc2a0Zech共和国uc2a0”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：2，”corresponding_author_ids“：[]，”correcponding_institation_idsapc_list“：null，”apc_payed“：null，”has_fulltext“：false，”cited_by_count“：8，”cited_by_percentile_year“：{”min“：83，”max“：84}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}、“last_page”：null}，“is_retracted”：false、“is_paratext”：false，“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“：”物理科学“}}，”主题“：[{”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9992，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9991，“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/safety-verification网站“，”display_name“：”安全验证“，”score“：0.502987}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7390978｝，｛”id“：”https://openalex.org/C168167062，“wikidata”：https://www.wikidata.org/wiki/Q1117970“，”display_name“：”组件（热力学）“，”level“：2，”score“：0.71514624}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.63615465}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.5079804}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.49139848}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.4850625}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.46589813}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.4404587}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.32172447}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.30573416}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.12052992}，{”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/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sccc.2007.17“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：15，“referrenced_works”：[”https://openalex.org/W1543063618","https://openalex.org/W1924205014","https://openalex.org/W1972065960","https://openalex.org/W1972478730","https://openalex.org/W2002089154","https://openalex.org/W2043100293","https://openalex.org/W2050280527","https://openalex.org/W2059177580","https://openalex.org/W2080593426","https://openalex.org/W2100698629","https://openalex.org/W2115716046","https://openalex.org/W2137865376","https://openalex.org/W2150043646","https://openalex.org/W2169257112","https://openalex.org/W2293624369“]，”related_works“：[”https://openalex.org/W2952737788","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2493800215","https://openalex.org/W2182066955","https://openalex.org/W2162351207","https://openalex.org/W1842616663","https://openalex.org/W1572578464","https://openalex.org/W1546995467“]，”ngrams_url“：”https://api.openalex.org/works/W2139877881/ngrams网站“，”“abstract_inverted_index”：{“Behavior”：[0]，“verification”：[1]，“of”：[2,7,22,30,47,67]，“large”：[3]，“component”：[4,23]，“systems”：[5]，“imposes”：[6]，“state”：[8,31]，“explosion”：[9]，“in”：[10]，“specific”：[11]，“when”：[12]，“组件”：[13]，“involve”：[14]，“parallel”：[15]，”activities。“：[16]，“For”：[17]，“Behavior”：[18,24]，“protocols”：[19]，“a”：[20,28,45,65]，“方法”：[21,29]，“规范”：[25]，“我们”：[26]，“存在”：[27]，“空格”：[32]，“大小”：[33,59]，“缩减”：[34,48]，“基于”：[35]，“on”：[36]，“符号”：[37]，“操作”：[38]，“with”：[39]，“the”：[40,57,68]，“specification”：[C1,58]，“done”：[42]，“by”：[43]，“应用”：[44]，“set”：[46]，“rules”：[49]，“A”：[50]，“case”：[51]，“study”：[52]，“is”：[53,60]，“presented”：[54]，“showing”：[55]，“that”：[56]，“commery”：[61]，“reduced”：[62]，“to”：[63]，“only”：[64]，“fraction”：[66]，“original”：[69]，“one.”：[70]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2139877881“，”counts_by_year“：[{“年份”：2017，”cited_by_count“：1}，{“年度”：2013，”cited_by_count”：1}]，”updated_date“：”2024-05-16T04:33:34.611918“，”created_dates“：”2016-06-24“}