{“id”：“https://openalex.org/W2062171073“，”doi“：”https://doi.org/10.1006/jsco.1996.0069“，”title“：”并发METATEM的时态语义“，”display_name“：”并行METATEM的时态语义学“，”publication_year“：1996，”publitation_date“：”1996-11-01“，”ids“：{”openalex“：”https://openalex.org/W2062171073“，”doi“：”https://doi.org/10.1006/jsco.1996.0069“，”mag“：”2062171073“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0069“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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”：“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/jsco.1996.0069“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5001487424“，”display_name“：”Michael Fisher“，”orcid“：”https://orcid.org/0000-0002-0875-3862}，“机构”：[{“id”：https://openalex.org/I11983389“，”display_name“：”曼彻斯特城市大学“，”ror“：”https://ror.org/02hstj355“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I11983389“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”MICHAEL FISHER“，”raw _affiliation_strings“：【”英国曼彻斯特大都会大学计算系，M1 5GD“】}]，“countries_distiction_count”：1，“institutions_disticent_count“：1，”corresponding_author_ids“：[“https://openalex.org/A5001487424“]，”对应的机构ID“：[”https://openalex.org/I11983389“]，”apc_list“：{”value“：2770，”currency“：”USD“，”value_USD“：27700，”provenance“：”doaj“}，”apc _payed“：{”value”：2770、”current“：”美元“，”value_USD”：27700、“provenance”：“doaj”}、”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：20，”citected_by_percentile_year“：{“min”：86，”max“：87}，“biblio”：{“volume”：“22”，“issue”：“5-6”，“first_page”：“627”，“last_page”：648“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9976，“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.9976，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9975，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.994，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.535105}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.523617}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.72771585}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.72556525}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.722588}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.5913368｝，｛”id“：”https://openalex.org/C160145156，“wikidata”：https://www.wikidata.org/wiki/Q778586“，”display_name“：”Executable“，”level“：2，”score“：0.49556386}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.48984382}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.45388657}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.4495899}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40260863}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0069“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算期刊“，”issn_l“：”0747-7171“，”issn“：[”0747-7171“，”1095-855X“]，”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”：“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.1006/jsco.1996.0069“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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”：“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/W635304050","https://openalex.org/W3023376741","https://openalex.org/W2962876128","https://openalex.org/W2417154951","https://openalex.org/W2244075056","https://openalex.org/W2142778060","https://openalex.org/W2110443840","https://openalex.org/W2106305471","https://openalex.org/W1981466053","https://openalex.org/W1965724121“]，”ngrams_url“：”https://api.openalex.org/works/W2062171073/ngrams“，”“abstract_inverted_index”：{“ConcurrentMetateMis”：[0]，“a”：[1,17,34,45,69,78104123]，“编程”：[2]，“语言”：[3]，“基于”：[4127]，“on”：[5]，“概念”：[7]，“of”：[8,36,40,48,56,77,80,90,93100119142158166168185]，“并发”：[9]，“通信”：[10]，“对象，“：[11]，”其中“：[12,73180]，”每个“：[13]，”对象“：[14,75]，”直接“：[15]，”执行“：[16]，”规范“：[18]，”给定“：[19]，”in“：[20,64133]，”时态“：[21,41130181]，”逻辑“：[221131]，”和“：[23,60,83150160]，”通信“：[24]，”与“：[25,44]，”其他“：[26]，“对象”：[27102132]，“使用”：[28]，“异步”：[29156]，“广播”：[30]，“消息传递。“：[31]，”因此，“：[32]，”ConcurrentMetateM表示“：[33,68]，”组合“：[35]，”直接“：[38]，”执行“：[39149]，”规范“：[42]，”一起“：[43]，”新颖“：[46]，”模型“：[47157]，”并发“：[49,65,96]，”计算。“：[50]，“In”：[51112]，“contrast”：[52]，“to”：[53114]，“concepts”：[55]，“predicates”：[57]，“as”：[58,98]，“process”：【59】，“stream”：【61】，“parallelism”：【62】，“seen”：【63】，“logic”：【66】，“languages，”：【67】，“more”：【70173】，“coarsegrained”：【71】，“approach，”：[72]，“an”：【74136]，“composes”：[76]，“集合”：[79]，“逻辑”：[81]，“规则”：[82]，“通信”：[84]，“是”：[85171]，“实现了“：[86]”，通过“：[87154]”，“评估”：[89]，“确定”：[91]，“类型”：[92]，“谓词”。“：[94]，“表示”：[95]，“系统”：[97]，“组”：[99]，“这样”：[101]，“提供”：[103]，“强大”：[105]，“工具”：[106]，“用于”：[107183]，“建模”：[108]，“复杂”：[109]，“反应”：[110]，“系统”。“：[111]，”order“：[113]，”reason“：[115]，”about“：[116]，”behavior“：[118]，”ConcurrentMetateMsystems“，：[120]，”we“：[121177]，”requir“：[122]，”suitable“：[124]，”semantics。“：[125138]，”存在“：[126]，”在“：[128146]，”可执行“：[129]，”隔离“：[134]，”有“：[135]，”直观“：[137]，”然而“：[139]，”添加“：[141]，”两者“：[143]，”可操作“：[144]，”约束“：[145152]，”对象“：[148]，”全局“：[151]，”提供“：[153]，”并发“：[159]，”通信“：[161]，”复杂化“：[162]，“整体”：[164]，“语义“：[165175182]，”网络“：[167]，”对象。“：[169]，”It“：[170]，”this“：[172]，”complex“：[174]，”that“：[176]，”address“：[178]，”here“，”：[179]，”varies“：[184]，”ConcurrentMetateMare“：[186]，”provided。“：[187]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2062171073“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-05-29T20:42:28.454776“，”创建日期“：“2016-06-24”}