{“id”：“https://openalex.org/W2077853828“，”doi“：”https://doi.org/10.1016/0304-3975（91）90003-k“，”title“：”并发逻辑语言的语义模型“，”display_name“：”并发逻辑语言的语义模型“，”publication_year“：1991，”publication_date“：”1991-08-01“，”ids“：｛”openalex“：”https://openalex.org/W2077853828“，”doi“：”https://doi.org/10.1016/0304-3975（91）90003-k“，”mag“：”2077853828“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（91）90003-k“，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]https://ir.cwi.nl/pub/1580/1580D.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5058708865“，”display_name“：”Frank S.de Boer“，”orcid“：null}，”institutions“：[]，”countries“：[”NL“]，”is_corresponding“：false，”raw_author_name“:”F.S.de Boer“，“raw_affiliation_strings”：[”数学与计算机科学中心，荷兰阿姆斯特丹1009 AB，邮政信箱4079“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5062502864“，”display_name“：”Jan R\u00fctten“，”orcid“：null}，”institutions“：[]，”countries“：[”NL“]，”is_corresponding“：false，”raw_author_name“:”J.J.M.M.Rutten“、”raw_affiliation_strings“：【”荷兰阿姆斯特丹1009 AB数学与计算机科学中心，邮政信箱4079“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5012010960“，”display_name“：”Joost N.Kok“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”J.N.Kok“，”raw _affiliation_strings“：[“乌得勒支大学计算机科学系，邮政信箱80089，荷兰乌得勒支特3508号”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5090842450“，”display_name“：”Catuscia Palamidessi“，”orcid“：”https://orcid.org/0000-0003-4597-7002}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”C.Palamidessi“，”raw _affiliation_strings“：[“意大利科索大学信息学院\u00e1 di Pisa，Corso Italia 40，56100 Pisa”]}]，”countries_distinact_count“：2，”institutions_distiction_count”：2，“corresponding_author_ids”：[]，“coresponding_institution_ids“：[]C_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc_payed“：{”value“:2690，”curency“：”美元“，”value_USD”：2690“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：5，“cited_by_percentile_year”：{“min”：74，“max”：75}，‘biblio’：{’volume“：”86“，”问题“：”1“，”first_page“：”3“，”last_page“：”33“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T11010“，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9992，”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/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.563032｝，｛”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.531383}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.531249}，{”id“：”https://openalex.org/keywords/formal-languages网站“，”display_name“：”正式语言“，”score“：0.522913｝，｛”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.516711}]，”concepts“：[{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.89820915}，{”id“：”https://openalex.org/C89448276，“wikidata”：https://www.wikidata.org/wiki/Q5259284“，”display_name“：”Actor模型的指称语义“，”level“：5，”score“：0.7881136}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.7380594}，{”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”良好的语义“，”level“：5，”score“：0.72956455}，{”id“：”https://openalex.org/C150607116，“wikidata”：https://www.wikidata.org/wiki/Q4677421“，”display_name“：”动作语义“，”level“：5，”score“：0.6517093}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6369479}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6218069}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.49427032}，{”id“：”https://openalex.org/C29585364，“wikidata”：https://www.wikidata.org/wiki/Q1079166“，”display_name“：”领域理论“，”level“：2，”score“：0.49390274}，{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.45421517}，{”id“：”https://openalex.org/C87365073，“wikidata”：https://www.wikidata.org/wiki/Q7051843“，”display_name“：”评估归一化“，”level“：5，”score“：0.44537148}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”Semantics（计算机科学）“，”level“：2，”score“：0.41880625｝，｛”id“：”https://openalex.org/C58041814，“wikidata”：https://www.wikidata.org/wiki/Q792533“，”display_name“：”公理语义“，”level“：5，”score“：0.41668445}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.26216462}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.22727817}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（91）90003-k“，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ir.cwi.nl/pub/1580，“pdf_url”：https://ir.cwi.nl/pub/1580/1580D.pdf，“源”：{“id”：https://openalex.org/S4306400859“，”display_name“：”CWI的机构库（Wiskunde&Informatica中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1341640284“，”host_organization_name“：”Centrum Wiskunde&Informatica“，”host_organization _lineage“：[”https://openalex.org/I1341640284“]，”host_organization_lineage_names“：[”Centrum Wiskunde&Informatica“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://ir.cwi.nl/pub/1580，“pdf_url”：https://ir.cwi.nl/pub/1580/1580D.pdf，“源”：{“id”：https://openalex.org/S4306400859“，”display_name“：”CWI的机构知识库（Centrum Wiskunde&Informatica）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I1341640284“，”host_organization_name“：”Centrum Wiskunde&Informatica“，”host_organization _lineage“：[”https://openalex.org/I1341640284“]，”host_organization_lineage_names“：[”Centrum Wiskunde&Informatica“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：16，“referrenced_works”：https://openalex.org/W1530693522","https://openalex.org/W1530974209","https://openalex.org/W1539804543","https://openalex.org/W1595663182","https://openalex.org/W1811602476","https://openalex.org/W1995902462","https://openalex.org/W2033514658","https://openalex.org/W2038945974","https://openalex.org/W2065555531","https://openalex.org/W2089111669","https://openalex.org/W2108911687","https://openalex.org/W2140920629","https://openalex.org/W2143326699","https://openalex.org/W2150537182","https://openalex.org/W2607230115","https://openalex.org/W4256191334“]，”related_works“：[”https://openalex.org/W4234924236","https://openalex.org/W3036972880","https://openalex.org/W2604377475","https://openalex.org/W2363690241","https://openalex.org/W2110748634","https://openalex.org/W2098738693","https://openalex.org/W1968765218","https://openalex.org/W1929699059","https://openalex.org/W1844766828","https://openalex.org/W1628367963“]，”ngrams_url“：”https://api.openalex.org/works/W2077853828/ngrams网站“，”abstract_inverted_index“：{”In“：[0116]，”this“：[1]，”paper“：[2]，”we“：[3,75,95120]，”开发“：[4]，”语义“：[5]，”模型“：[6]，”for“：[7101]，”a“：[8,21,24,28122]，”class“：[9,92]，”of“：[10,45,90,93109111114126]，”concurrent“：[11]，”logic“：[12]，”languages.“：[13]，”we“：[14140149]，“给予”：[15]，“两个”：[16153]，“操作”：[17,32,57154166]，“语义学“：[18,26,36,61,74104155162]，”基于“：[19]，”关于“：[20]，”转换“：[22]，”系统“：[23]，”陈述“：[25,35,70103159]，”和“：[27,33,58,65,71156160]，”指称“：[29,60,73118161]，”语义学。“：[30]，”One“：[31]，”the“：[34,38,43,59,69,72,87,91102106117136146152158]，”model“：[37,63]，”success“：[39]，”set“：[40]，”that“：[411291334]，”is“：[42]，”set“：[44]，”computed“：[46]，”answer“：[47]，”substitutions“：[48]，”correspondent“：[49]，”to“：[50,84]，”all“：[51]，”successfully“：[52]，“终止”：[53]，“计算。“：[54,67]，”The“：[55,97]，”other“：[56]，”alsor“：[62]，”deadlock“：[64]，”infinite“：[66]，”For“：68]，”extend“：76]，”standard“：77]，”concepts“：[78]，”such“：[79]，”as“：[80]，”unified“：[81138]，”in“：[82]，”order“：[83]，”cope“：[85]，”with“：86132163]，”synchronization“：[88]，“机制”：[89]，“语言”：[94]，“研究”。“：[96]，”基本“：[98137]，”数学“：[99]，”结构“：[100]，”是“：[105]，”完成“：[107123]，”格“：[108]，”集合“：[110]，”有限“：[112]，”流“：[113]，”替换。“：[115]，”语义“：[119]，”使用“：[121]，”度量“：[124]，”空格“：[125]，”树状“：[127]，”结构“：[128]，”是“：[130]，”标签“：[131]，”函数“：[133]，”表示“：[135]，”步骤。“：[139]，”look“：[141]，”at“：[142]，”relationships“：[144]，”between“：[145]，”different“：%147]，”models。“：[148]，”relate“：[150]，”first“：[151]，”next“：[157]，”their“：[164]，”respective“：/165]，”counters。“：[167]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2077853828“，”counts_by_year“：[]，”updated_date“：”2024-05-15T14:10:49.948084“，”创建日期“：”2016-06-24“}