{“id”：“https://openalex.org/W2092395688“，”doi“：”https://doi.org/10.1016/0304-3975（86）90177-5“，”title“：”非序列系统的并发和最大并发进化“，”display_name“：”非序列系统的并行和最大并发演化“，”publication_year“：1986，”publiction_date“：”1986-01-01“，”ids“：{”openalex“：”https://openalex.org/W2092395688“，”doi“：”https://doi.org/10.1016/0304-3975（86）90177-5“，”mag“：”2092395688“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90177-5“，”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，”is_core“：true，”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.1016/0304-3975（86）90177-5“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5064340924“，”display_name“：”Ryszard Janicki“，”orcid“：”https://orcid.org/0000-0001-5364-9725}，“机构”：[{“id”：https://openalex.org/I891191580“，”display_name“：”奥尔堡大学“，”ror“：”https://ror.org/04m5j1k67“，”country_code“：”DK“，”type“：”教育“，”血统“：[”https://openalex.org/I891191580“]}]，”国家“：[”DK“]，”is_corresponding“：false，”raw_author_name“：”Ryszard Janicki“，”raw _affiliation_strings“：[“丹麦奥尔堡大学中心电子系统研究所，DK-9000”]，”affiliations“：[{”raw _affiliation_string“：”丹麦奥尔堡学院中心电子系统学院，DK-9000Aalborg“，”institution_ids“：[https://openalex.org/I891191580“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A508831713“，”display_name“：”Peter Lauer“，”orcid“：”https://orcid.org/0000-0001-9984-1392}，“机构”：[{“id”：https://openalex.org/I98251732“，”display_name“：”麦克马斯特大学“，”ror“：”https://ror.org/02fa3aq29“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I98251732“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Peter E.Lauer“，”raw _affiliation_strings“：[“加拿大安大略省汉密尔顿麦克马斯特大学计算机科学与系统系”]，”affiliations“：[{”raw _affiliation_string“：”加拿大安大略省汉密尔顿市麦克马斯特大学计算机科学与系统系，L8S 4K1“，”institution_ids“：[”https://openalex.org/I98251732“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5042490356“，”display_name“：”Maciej Koutny“，”orcid“：”https://orcid.org/0000-0003-4563-1378}，“机构”：[{“id”：https://openalex.org/I84884186“，”display_name“：”纽卡斯尔大学“，”ror“：”https://ror.org/01kj2bm70“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I84884186“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Maciej Koutny“，”raw _affiliation_strings“：[“英国泰恩河畔纽卡斯尔大学计算实验室，泰恩河岸纽卡斯尔”]，”affiliations“：[{”raw _affiliation_string“：”英国纽卡斯尔大学泰恩河畔纽卡斯尔NE1 7RU计算实验室“，“institution_ids”：[“https://openalex.org/I84884186“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5079564039“，”display_name“：”Raymond Devillers“，”orcid“：”https://orcid.org/0000-0002-4339-2708}，“机构”：[{“id”：https://openalex.org/I132053463“，”display_name“：”布鲁塞尔自由大学\u00e9“，”ror“：”https://ror.org/01r9htc13“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I132053463“]｝]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Raymond Devillers“，”raw_affiation_strings“：[”比利时布鲁塞尔B-1050自由大学信息学院Th\u00e9orique“，”附属机构“：[｛”raw_affiation_string“：”比利时布鲁塞尔B-1050布鲁塞尔布鲁塞尔布鲁塞尔大学信息技术实验室“，”institution_ids“：[”https://openalex.org/I132053463“]}]}]，”countries_distinct_count“：4，”institutions_disting_count”：4，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：2690，“currency”：“USD”，“value_USD”：2680，“provenance”：“doaj”}，“apc _payd”：null，“fwci”：2.187，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cit”ed_by_count“：41，”引用标准化百分比“：{”value“：0.914503，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：92，”max“：93}，“biblio”：{“volume”：“43”，“issue”：null，“first_page”：“213”，“last_page”：”238“}”，“is_retracted”：false、“is_paratext”：false，“primary_topic”：“{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9988，“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.9988，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.996，“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.994，”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/formalism网站“，”display_name“：”形式主义（音乐）“，”score“：0.6958677}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.504915}，{”id“：”https://openalex.org/keywords/expression网站“，”display_name“：”Expression（computer science）“，”score“：0.44023213}]，”concepts“：[{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.6958677}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.60727704}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5960842}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.57881254}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5032708}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.44677404}，{”id“：”https://openalex.org/C90559484，“wikidata”：https://www.wikidata.org/wiki/Q778379“，”display_name“：”Expression（computer science）“，”level“：2，”score“：0.44023213}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40910345}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.39568934}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.3170908}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90177-5“，”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，”is_core“：true，”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.1016/0304-3975（86）90177-5“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”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“：[{”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“，”score“：0.48}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：19，”referrenced_works“：【”https://openalex.org/W105720202","https://openalex.org/W1493088000","https://openalex.org/W1500740525","https://openalex.org/W1504477948","https://openalex.org/W15233434988网址","https://openalex.org/W1523605030","https://openalex.org/W1526191973","https://openalex.org/W1597671168","https://openalex.org/W2006244393","https://openalex.org/W2036709672","https://openalex.org/W2092331318","https://openalex.org/W2110425399","https://openalex.org/W2137865376","https://openalex.org/W2148722937","https://openalex.org/W2295288655","https://openalex.org/W3144368627","https://openalex.org/W3185796847","https://openalex.org/W4229492352","https://openalex.org/W968309248“]，”related_works“：[”https://openalex.org/W3042312155","https://openalex.org/W3021003119","https://openalex.org/W3007870257","https://openalex.org/W2910115471","https://openalex.org/W2610513781","https://openalex.org/W2245685274","https://openalex.org/W2112801462","https://openalex.org/W2002931343","https://openalex.org/W1597178555","https://openalex.org/W1568197394“]，”abstract_inverted_index“：{”The“：[0,17]，”semantics“：[1,24,28,40]，”expressed“：[2]，”intuistically“：[3]，”as“：[4,6,8]，”execute“：[5]，”much“：[7]，“possible”：[9]，”in“：[10]，”parallel“：[11]，”is“：[12,29,55]，”formal“：[13]，”defined“：[14]，”and“：[15,32]，”analysed“。”：[16]，“关系”：[18]，“介于”：[19]，“这样”：[20]，“a”：[21]，“最大”：[22]，“并发“：[23,27]，”正常“：[26]，”开发。“：[30]，“必要”：[31]，“充分”：[33]，“标准”：[34]，“对于”：[35]，“：[36,50]，“等价”：[37]，“的”：[38,47]，“这些”：[39]，“是”：[41]，“公式化。“：[42]，”As“：[43]，”an“：[44]，”abstract“：[45]，”model“：[46]，”non-sequential“：[48]，”systems“：[49]，”COSY“：-51]，”path“：[52]，”expression“：[53]，”formalism“：[P4]，”used“。“：[56]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2092395688”，“counts_by_year”：[｛“year”：2023，“cited_by_count”：2｝，｛“year”：2022，“cited_by_count”：3｝，｛“year”：2020，“cited_by_count”：1｝，｛“year”：2019，“cited_by_count”：1｝，｛“year”：2018，“cited_by_count”：1｝，｛“year”：2016，“cited_by_count”：1｝]，“updated_date”：“2024-08-15T09:01:59.314570”，“created_date”：“2016-06-24“｝