{“id”：“https://openalex.org/W2031124364“，”doi“：”https://doi.org/10.1006/inco.1994.1088“，”title“：”分布式计算的流模型：“CCS的三个等价语义”，“display_name”：“分布式计算的流程模型：CCS的四个等价语义“，”publication_year“：1994，”publitation_date“：”1994-11-01“，”ids“：{”openalex“：”https://openalex.org/W2031124364“，”doi“：”https://doi.org/10.1006/inco.1994.1088“，”mag“：”2031124364“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1994.1088“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”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.1006/inco.1994.1088“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5071221220“，”display_name“：”G\u00e9rard Boudol“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210106545“，”“display_name”：“Inria Sophia Antipolis研究中心-M\u00e9diterra\u00e 9e”，“错误”：“https://ror.org/01nzkaw91“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545“]｝]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”G.Boudol“，”raw_affiation_strings“：[”Inria Sophia Antipolis，F 06560 Valbonne，France“]，”affiliations“：[｛”raw_affiation_string“：”Inria Sophia Antipolis，F 06560 Valbonne，France“，”institution_ids“：[”https://openalex.org/I4210106545“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000984497“，”display_name“：”Ilaria Castellani“，”orcid“：”https://orcid.org/0000-0001-9820-0892“｝，”机构“：[｛”id“：”https://openalex.org/I4210106545“，”“display_name”：“Inria Sophia Antipolis研究中心-M\u00e9diterra\u00e 9e”，“错误”：“https://ror.org/01nzkaw91“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”I.Castellani“，”raw _ affiliation_strings“：[“Inria Sophia Antipolis，F 06560 Valbonne，France”]，”affiliation“：[{”raw _affiliation_string“：”Inria索菲亚·安提波利斯，F 06570 Valbonne，France“，”institution_ids“:[”https://openalex.org/I4210106545“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2630'，”provenance“：”doaj“}，”“apc_payed“：null，”fwci“：4.169，”has_fulltext“：false，”cited _by_count“：76，”引用规范化百分比“：{”value“：0.958448，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：95，”max“：96}，“biblio”：{“volume”：“114”，“issue”：“2”，“first_page”：“247”，“last_page”：”314“}，‘is_retracted’：false、“is_paratext”：false和“primary_topic”：“{”id“：”https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9967，“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.9967，“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/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9851，”subfield“：{”id“：”https://openalex.org/subfields/1404“，”display_name“：”管理信息系统“}，”字段“：{”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9834，“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/keywords/complex-event-processing“，”display_name“：”复杂事件处理“，”score“：0.543309}，{”id“：”https://openalex.org/keywords/stream-processing“，”display_name“：”流处理“，”score“：0.516175}，{”id“：”https://openalex.org/keywords/process-modeling-languages“，”display_name“：”Process Modeling Languages“，”score“：0.503271}，{”id“：”https://openalex.org/keywords/theory-of-computation网站“，”display_name“：”计算理论“，”score“：0.46478224}]，”concepts“：[{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.7893642}，{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.6618759}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5415218}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5321476}，{”id“：”https://openalex.org/C24858836，“wikidata”：https://www.wikidata.org/wiki/Q844718“，”display_name“：”计算理论“，”level“：2，”score“：0.46478224｝，｛”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.46350425}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45724797}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.4450476}，{”id“：”https://openalex.org/C21308566，“wikidata”：https://www.wikidata.org/wiki/Q7169365“，”display_name“：”置换（音乐）“，”level“：2，”score“：0.43681207}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.37566108}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.36805737}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.20865059}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.12979105}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C24890656，“wikidata”：https://www.wikidata.org/wiki/Q82811“，”display_name“：”Acoustics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1994.1088“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”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}，{”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/inia-00075078/file/RR-1484.pdf，“pdf_url”：https://hal.inia.fr/inia-00075078/file/RR-1484.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://inria.hal.science/inria-00075078/file/RR-1484.pdf，“pdf_url”：https://inria.hal.science/inria-00075078/file/RR-1484.pdf“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/inia-00075078/document，“pdf_url”：https://hal.inia.fr/inia-00075078/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/inia-00075078，“pdf_url”：https://inria.hal.science/inria-00075078/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1994.1088“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”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“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W791317142","https://openalex.org/W4230983483","https://openalex.org/W2285033125","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W2119655921","https://openalex.org/W2109094990","https://openalex.org/W1980200158","https://openalex.org/W1551257573","https://openalex.org/W1538101305“]，”abstract_inverted_index“：{”We“：[0143]，”introduce“：[1]，”three“：[2148163]，”concepts“：[3]，”of“：[4,12,22,27,40,42,48,54,60,63,69,83,90100108115133151165191198204]，”computation“：[5,35,96109129149]，”for“：[6,86158178]，”process“：[7]，”descripted“：[8]，”as“：[9,80118124]，”CCS“：[10,64,87116152]，“（微积分”：[11]，“交流”：[13]，“系统）“：[14]，”术语。“：[15]，”The“：[16,51]，”first“：[17]，”one“：[18]，”uses“：[19]，”an“：[20,37,6110113174]，”adaptation“：[21]，”The“：[23,46,72141155162181200]，”equivalence“：[24,38]，”by“：[25,58,88112]，”permutations“：[26]，”Berry“：[28]，“and”：[29121]，”L\u00e8vy。“：[30]，“In”：[31]，“this”：[32170185]，“setting”，：[33]，“a”：[34,66,81,95,98128131159189]，“is”：[36,56,97110130183]，“class”：[39,68]，“sequences”：【41】，“transitions”，“：【43】，“up”：【44】，“to”：【45187】，“permutation”：【47】，“independent”：【49】，“steps”。“：[50]，”第二“：[52]，”概念“：[53107]，”给定“：[57160]，”表示“：[59,89197]，”解释“：[62114]，”到“：[65]，”新“：[67]，”事件“：[70,74,92102]，”结构“：[71]，”流“：[73125]，”构造。“：[75,93]，”This“：[76]，”can“：[77]，”be“：[78188]，”seen“：[79]，”reformation“：[82]，”Winskel\u2032s“：[84]，”语义“：[85]，”stable“：[91]，”Here“：[94127]，”configuration“：[99]，”structure“。“：[103]，”最后，“：[104]，”我们的“：[105]，”第三个“：[106]，”已确定“：[111]，”术语“：[117]，”佩特里“：[119]，”网络“：[120]，”更多“：[122]，”精确“：[123]，”网。“：[126]，”set“：[132]，”events“：[134]，”that“：[135146157]，”are“：[136167]，”firable“：[137]，”in“：[138140154]，”sequence“：[139]，”net。“：[142]，”然后“：[144]，”显示“：[145]，”这些“：[147]，”解释“：[150]，”重合“：[153]，”意义“：[156]，”术语“：[161]，”域“：[164]，”计算“：[166]，”同构。“：[168]，”收件人“：[169]，”结束“：[171]，”我们“：[172]，”使用“：[173]，”中介“：[175]，”过渡“：[176]，”系统“：[177190]，”CCS，“：[179]，”其中“：[180]，”过去“：[182]，”记录；“：[184]，”出现“：[186]，”跟踪“：[192]，”计算“，”：[193]，“其中”：[194]，“提供”：[195]，“另一个”：[196]，“定义”：[199]，“相同”：[201]，“抽象”：[202]，“域”：[203]，“计算”。“：[205]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=引用：W2031124364“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：3}，{“年度”：2022，”“cited_by_cunt”：3G}，}“年份“：2021，”年份“：2014，”cited_by_count“：2}，{“年份”：2012，”cited_by_count”：1}]，“updated_date”：“2024-09-26T20:43:59.639333“，”创建日期“：”2016-06-24“}