{“id”：“https://openalex.org/W4297922647“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_16“，”title“：”Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation“，”display_name“：”使用并行ATerm库进行并行模型检查和状态空间生成“，”publication_year“：2022，”publitation_date“：”2022-01-01“，”ids“：{”openalex“：”https://openalex.org/W4297922647“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_16“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_16“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5032619003“，”display_name“：”Jan Friso Groote“，”orcid“：”https://orcid.org/0000-0003-2196-6587}，“机构”：[{“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“：”Jan Friso Groote“，”raw _affiliation_strings“：[“荷兰埃因霍温理工大学数学与计算机科学系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5016291836“，”display_name“：”Kevin H.J.Jilissen“，”orcid“：”https://orcid.org/0000-0002-4697-2011}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Kevin H.J.Jilissen“，”raw _affiliation_strings“：[“荷兰埃因霍温理工大学数学与计算机科学系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5056065743“，”display_name“：”莫里斯·拉维奥“，”兽人“：”https://orcid.org/0000-0001-8732-7580}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”countries“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Maurice Laveaux“，”raw_affiliation_strings“：【”荷兰埃因霍温理工大学数学与计算机科学系“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5025046816“，”display_name“：”P.H.M.van Spaendonck“，”orcid“：”https://orcid.org/0000-0002-9536-1524}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”P.H.M.van Spaendonck“，”raw _affiliation_strings“：[“荷兰埃因霍温理工大学数学与计算机科学系”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5042194099“，”display_name“：”Tim A.C.Willemse“，”orcid“：”https://orcid.org/0000-0003-3049-7962}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Tim A.C.Willemse“，”raw _affiliation_strings“：[“荷兰埃因霍温理工大学数学与计算机科学系”]}]“countries_disticont_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5032619003“]，”对应的机构ID“：[”https://openalex.org/I83019370“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：1，“cited_by_percentile_year”：{“min”：67，“max”：76}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“306”，“last_page”：“320”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9978，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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.9973，“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/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.52008}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.506522}，{”id“：”https://openalex.org/keywords/memory-management网站“，”display_name“：”内存管理“，”score“：0.50496}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8611804｝，｛”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.6313324｝，｛”id“：”https://openalex.org/C2781172179，“wikidata”：https://www.wikidata.org/wiki/Q853109“，”display_name“：”并行（语法）“，”level“：2，”score“：0.5760613}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.5550151}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.4986341}，{”id“：”https://openalex.org/C106515295，“wikidata”：https://www.wikidata.org/wiki/Q26806595“，”display_name“：”并行处理“，”level“：2，”score“：0.48600373}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45021823}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.44377604}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.41164893}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3604697}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.09788951｝，｛”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_16“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“｝，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[｛”id“：”https://metadata.un.org/sdg/11“，”score“：0.53，”display_name“：”可持续城市和社区“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：30，”referrenced_works“：[”https://openalex.org/W1496019238","https://openalex.org/W1505081061","https://openalex.org/W1605048253","https://openalex.org/W1902047993","https://openalex.org/W2002986532","https://openalex.org/W2015706098","https://openalex.org/W2060375000","https://openalex.org/W2099899133","https://openalex.org/W2112197627","https://openalex.org/W2112525707","https://openalex.org/W2125230050","https://openalex.org/W2135206952","https://openalex.org/W2135317805","https://openalex.org/W2139470733","https://openalex.org/W2140317178","https://openalex.org/W2144698929","https://openalex.org/W2158311980","https://openalex.org/W2168594857","https://openalex.org/W2168615519","https://openalex.org/W2168939023","https://openalex.org/W2169821372","https://openalex.org/W2295571705","https://openalex.org/W2586521831","https://openalex.org/W2889381314","https://openalex.org/W2911867855","https://openalex.org/W3106456356","https://openalex.org/W3123797328","https://openalex.org/W4225526711","https://openalex.org/W4230290951","https://openalex.org/W4312481172“]，”related_works“：[”https://openalex.org/W2366027386","https://openalex.org/W2135691587","https://openalex.org/W2092389159","https://openalex.org/W2078808231","https://openalex.org/W19298582018","https://openalex.org/W1850053445","https://openalex.org/W1608806855","https://openalex.org/W1595151633","https://openalex.org/W1578204257","https://openalex.org/W1509030842“]，”ngrams_url“：”https://api.openalex.org/works/W4297922647/ngrams网站“，”“abstract_inverted_index”：{“Process”：[0]，“algebras”：[1]，“are”：[2,66]，“used”：[3,67,86]，“to”：[4,17,43,68,87]，“study”：[5]，“the”：[6,58,75,83,92,98]，“behavior”：[7,46]，“of”：[8,22,57,91,94100111114]，“parallel”：[9,45,61,89119]，“systems.”：[10,24]，“the”：[11]，“mCRL2”：[12,76]，“工具集”：[13,42]，“已”：[14,32]，“被”：[15]，“设计”：[16]，“分析”：[18,44]，“进程”：[19]，“代数”：[20]，“模型”：[21]，“这样”：[23]，“给定”：[25]，“那”：[26,40108]，“几乎”：[27,70]，“任何”：[28,71]，“当代”：[29122]，“桌面”：[30]，“计算机”：[31]，“多个”：[33]，“处理器”：[34]，“开”：[35,81121]，“板”：[36]，“它”：[37]，“看起来”：[38]，自然“：[39]，“a”：[41,54109]，“now”：[47]，“also”：[48]，“employes”：[49]，“parallelism”：[50]，“This”：[51]，“paper”：[52]，“gives”：[53]，“compact”：55]，“account”：56]，“recently”：[59]，“developed”：[60]，“term”：[62]，“library”：【63，84】，“[13]；”：【64】，“terms”：【65】，“representation”：【69】，“main”：【72】，“concept”：【73】，“in”：[74]，“toolset”：【77】，“It”：【78】，“随后“：[79]，“reports”：[80]，“how”：[82]，“is”：[85116]，“make”：[88]，“implementation”：[90]，“generation”：[93]，“state”：[95]，“spaces”：[96]，“and”：[97]，“instentiation”：[99]，“Parameterised”：[101]，“Boolean”：[102]，“Equation”：[103]，“Systems”：[104]，“（PBES）。”：[105]，“We”：[106]，“show”：[107]，“gain”：[110]，“an”：[112]，“order”：[113]，“munium”：[115]，“possible”：[117]，“using”：[118]，“处理“：[120]，”硬件。“：[123]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4297922647“，”counts_by_year“：[{”年“：2024，”引用_by_count“：1}]，”更新日期“：”2024-05-14T12:58:15.069909“，”创建日期“：“2022-10-01”}