｛“id”：“https://openalex.org/W2219757995“，”doi“：”https://doi.org/10.1016/j.tcs.2015.11.035“，”title“：”集合资源和进程的演算和逻辑“，”display_name“：”资源和进程集合的演算与逻辑“，“publication_year”：2016，”publication_date“：”2016-02-01“，”ids“：{”openalex“：”https://openalex.org/W2219757995“，”doi“：”https://doi.org/10.1016/j.tcs.2015.11.035“，”mag“：”2219757995“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2015.11.035“，”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”：“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.tcs.2015.11.035“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5083053156“，”display_name“：”Gabrielle Anderson“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I45129253“，”display_name“：”伦敦大学学院“，”ror“：”https://ror.org/02jx3x895“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I45129253“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Gabrielle Anderson“，”raw_affiliation_strings“：[“英国伦敦大学学院”]，”affiliations“：[{”raw_affiliation_string“：”英国伦敦大学院“，”institution_ids“：[https://openalex.org/I45129253“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5013218535“，”display_name“：”David Pym“，”orcid“：”https://orcid.org/0000-0002-6504-5838}，“机构”：[{“id”：https://openalex.org/I45129253“，”display_name“：”伦敦大学学院“，”ror“：”https://ror.org/02jx3x895“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I124357947","https://openalex.org/I45129253“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”David Pym“，”raw _affiliation_strings“：[“英国伦敦大学学院”]，”affiliations“：[{”raw _affiliation_string“：”英国伦敦大学院“，”institution_ids“：[https://openalex.org/I45129253“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5013218535“]，”对应的机构ID“：[”https://openalex.org/I45129253“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2660，”provenance“：”doaj“}，”apc _payed“：”{“value”：1166，”curency“：”EUR“，”value_USD”：1257，“provenance”：“openapc”}，“fwci”：2.56，“has_fulltext”：false，“cited_by_count”：16，“cited_by_count年”：{“min”：91，“max”：92}，lio“：{”volume“：”614“，”issue“：null，”first_page“：”63“，”last_page“：“96”}“，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9937，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/T11195“，”“display_name”：“仿真建模中的优化技术”，“score”：0.9909，“subfield”：{“id”：“https://openalex.org/subfields/1803“，”display_name“：”管理科学与运筹学“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/modeling-and-simulation网站“，”display_name“：”建模与仿真“，”score“：0.590731}，{”id“：”https://openalex.org/keywords/complex-event-processing“，”display_name“：”复杂事件处理“，”score“：0.54499}]，”concepts“：[{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.77773905}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.69389325}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.575519}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.5586017}，{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.550714}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.51769185}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.50384873}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.49840403}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.48253602}，{”id“：”https://openalex.org/C160145156，“wikidata”：https://www.wikidata.org/wiki/Q778586“，”display_name“：”Executable“，”level“：2，”score“：0.48049223}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.45591247}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.4320758}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.38781962}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3423583｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33485746}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.29960987}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.14420658}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2015.11.035“，”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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：true，”landing_page_url“：”https://discovery.ucl.ac.uk/id/eprint/1476675/，“pdf_url”：https://discovery.ucl.ac.uk/1476675/1/1-s2.0-S0304397515151214-main.pdf，“源”：{“id”：https://openalex.org/S4306400024“，”display_name“：”UCL Discovery（伦敦大学学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I45129253“，”“host_organization_name”：“伦敦大学学院”，“host_ordanization_lineage”：[“https://openalex.org/I45129253“]，”host_organization_lineage_names“：[”伦敦大学学院“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：true，”landing_page_url“：”https://discovery.ucl.ac.uk/id/eprint/1476675/1/1-s2.0-S0304397515151214-main.pdf，“pdf_url”：https://discovery.ucl.ac.uk/id/eprint/1476675/1/1-s2.0-S0304397515151214-main.pdf，“源”：{“id”：https://openalex.org/S4306400024“，”display_name“：”UCL Discovery（伦敦大学学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I45129253“，”“host_organization_name”：“伦敦大学学院”，“host_ordanization_lineage”：[“https://openalex.org/I45129253“]，”host_organization_lineage_names“：[”伦敦大学学院“]，“type”：“repository”}，“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.tcs.2015.11.035“，”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”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F432032098“，”“funder_display_name”：“技术战略委员会”，“award_id”：“TS/I002502/1”}，{“funder”：“https://openalex.org/F4320334627“，”“funder_display_name”“：”工程与物理科学研究委员会“，”award_id“：”EP/K033042/1“}]，”数据集“：[]，”版本“：[[]，”referenced_works_count“：27，”referrenced_works“：[”https://openalex.org/W1589421353","https://openalex.org/W1596067335","https://openalex.org/W1604811379","https://openalex.org/W1652742168","https://openalex.org/W1972325829","https://openalex.org/W1978469611","https://openalex.org/W2001748564","https://openalex.org/W2008132476","https://openalex.org/W2010573758","https://openalex.org/W2013474929","https://openalex.org/W2070157304","https://openalex.org/W2075644848","https://openalex.org/W2112681367","https://openalex.org/W2125398300","https://openalex.org/W2131296609","https://openalex.org/W2132761501","https://openalex.org/W2148032817","https://openalex.org/W2153693303","https://openalex.org/W2158942489","https://openalex.org/W2341655714","https://openalex.org/W23466540577","https://openalex.org/W258022877","https://openalex.org/W2622388297","https://openalex.org/W2806687211","https://openalex.org/W2963689864","https://openalex.org/W4210639184","https://openalex.org/W4256027310“]，”related_works“：[”https://openalex.org/W4300624557","https://openalex.org/W3081656401","https://openalex.org/W3020829080","https://openalex.org/W2951374406","https://openalex.org/W2091970733","https://openalex.org/W2083792687","https://openalex.org/W207043953","https://openalex.org/W1608609850","https://openalex.org/W1547524815","https://openalex.org/W1532145728“]，”ngrams_url“：”https://api.openalex.org/works/W2219757995/ngrams（英文）“，”“abstract_inverted_index”：{“数学”：[0,23]，“建模”：[1,4,65]，“和”：[2,11,17,35,60,68,79,96131145162177184]，“模拟”：[3]，“是”：[5,25,41]，“基础”：[6]，“工具”：[7,20]，“of”：[8,33,38,63,91119147159168170173]，“工程”：[9]，“科学”：[10]，“社会”：[12]，“科学“：[13]，”例如“：[14138]，”如“：[15,47113]，”经济学“：[16]，“提供”：[18]，“决策支持”：[19]，“in”：[21,74,93137]，“管理。”：[22]，“模型”：[24]，“本质上”：[26]，“部署”：[27]，“在”：[28]，”全部“：[29,31,36]，“规模”：[30]，“级别”：[32,37]，“复杂性”：[34]，“抽象。”：[39]，“模型“：[40]，”经常“：[42]，“需要”：[43]，“到”：[44,57104123151180]，“be”：[45111]，“executable”，“：[46]，“a”：[48,51,84105114139166]，“模拟”，：[49]，“on”：[50,71]，“计算机”：[52]，“We”：[53164]，“present”：[54]，“some”：[55]，“贡献”：[56]，“the”：[58128155171174]，“process-theoretic”：【59】，“logical”：[61152160178]，“foundations”：【62】，“discrete-event”：【64】，“with”：66,87134149]，“resourcess”：[67，92,97]，“流程”：[69]，“建筑”：[70]，“上一个”：[72]，“工作”：[73]，“资源”：[75129]，“语义”：[76130]，“过程”：[77,85135175]，“微积分”：[78136]，“模态”：[80107]，“逻辑”：[81]，“我们”：[82126142]，“描述”：[83181]，“演算”：[86100]，“an”：[88]，“显式”：[89]，“表示”：[90]，“其中”：[94]，“进程”：[95]，“共同进化”：[98]，“The”：[99]，“is”：[101]，“closely”：[102]，“connected”：[103]，“子结构”：[106]，“逻辑”：[108]，“that”：[109141]，“may”：[110]，“used”：[112]，“specification”：[115]，“language”：[116]，“for”：[11754]，“properties”：[118]，“models.”：[120]，“In”：121]，“contrast”：[122]，“early”：[124]，“work”：/125]，“formulate”：[127]，“its”：[132]，“relationship”：[133]，“way”：%140]，“获取”：[143]，“可靠性”：[144]，“完整性”：[146]，“双模拟”：[148]，“尊重”：[150]，“等价”：[153]，“自然”：[156]，“完整”：[157]，“范围”：[158167]，“连接词”：[161]，“模态。”：[163]，“给定”：[165]，“示例”：[169]，“使用”：[172]，“组合词”：%176]，“结构”：[179183]，“系统”：[182]，“行为。”：:185]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2219757995“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：5}，{“年度”：2021，”“cited_by_cunt”：1}，}“年份“：2019，”“cited_by-count”“：3}，”“年份”“：2018，”ated_date“：”2024-06-21T03:31:14.580534“，”创建日期“：”2016-06-24“}