{“id”:“https://openalex.org/W4233603314“,”doi“:”https://doi.org/10.1007/3-540-44612-5_33“,”title“:”Explicit Fusions“,”display_name“:”Explicit Fusions“,”publication_year“:2000,”publication_date“:”2000-01-01“,”ids“:{”openalex“:”https://openalex.org/W4233603314“,”doi“:”https://doi.org/10.1007/3-540-44612-5_33“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/3-540-44612-5_33“,”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、”is_core“:true、”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},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A5047951273“,”display_name“:”Philippa Gardner“,”orcid“:”https://orcid.org/0000-0002-4187-0585},“机构”:[{“id”:https://openalex.org/I241749“,”display_name“:”剑桥大学“,”ror“:”https://ror.org/013meh722“,”country_code“:”GB“,”type“:“教育”,”世系“:[”https://openalex.org/I241749“]}],”国家“:[”GB“],”is_corresponding“:false,”raw_author_name“:”Philippa Gardner“,”raw _ afiliation_strings“:[“英国剑桥大学计算实验室”],”affiliations“:[{”raw_ afiliation _string“:”英国剑桥大学计算机实验室”,“institution_ids”:[“https://openalex.org/I241749“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5005367370“,”display_name“:”Lucian Wischik“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I241749“,”display_name“:”剑桥大学“,”ror“:”https://ror.org/013meh722“,”country_code“:”GB“,”type“:“教育”,”世系“:[”https://openalex.org/I241749“]}],”国家“:[”GB“],”is_corresponding“:false,”raw_author_name“:”Lucian Wischik“,”raw _ afiliation_strings“:[“英国剑桥大学计算实验室”],”affiliations“:[{”raw_ afiliation _string“:”英国剑桥大学计算机实验室”,“institution_ids”:[“https://openalex.org/I241749“]}]}],”countries_distinact_count“:1,”institutions_disticant_count”:1,“corresponding_author_ids”:[],”correspounding_institution_ids“:[]、”apc_list“:{”value“:5000,”currency“:”EUR“,”value_usd“:5392,”provenance“:”doaj“},”apc_payed“:null,”fwci“:1.787,”has_fulltext“:false,”cited_by_count:18,”citation_normalize d_percentile“:{“值”:0.909622,”is_in_top_1_percent“:false,”is_in_top_10_percennt“:true},”cited_by_percentile_year“:{”min“:84,”max“:85},“biblio”:{“volume”:null,“issue”:null:null,”first_page“:”373“,”last_page“:”382“}https://openalex.org/T10126“,”display_name“:”程序分析和验证技术“,”score“:0.9998,”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.9998,”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.9995,”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.998,”subfield“:{”id“:”https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”field“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/process-calculus“,”display_name“:”进程演算“,”score“:0.801744},{”id“:”https://openalex.org/keywords/bisimulation网站“,”display_name“:”双向模拟“,”score“:0.79106486},{”id“:”https://openalex.org/keywords/pi-calculus“,”display_name“:”Pi演算“,”score“:0.52351075},{”id“:”https://openalex.org/keywords/combinatics-on-words网站“,”display_name“:”单词组合学“,”score“:0.515877}],”concepts“:[{”id“:”https://openalex.org/C161771561,“wikidata”:https://www.wikidata.org/wiki/Q1970286“,”display_name“:”进程演算“,”level“:2,”score“:0.801744},{”id“:”https://openalex.org/C135315306,“wikidata”:https://www.wikidata.org/wiki/Q866364“,”display_name“:”双向模拟“,”level“:2,”score“:0.79106486},{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037“,”display_name“:”微积分(牙科)“,”level“:2,”score“:0.6844783},{”id“:”https://openalex.org/C2780069185,“wikidata”:https://www.wikidata.org/wiki/Q7977945“,”display_name“:”等价(形式语言)“,”level“:2,”score“:0.5354443},{”id“:”https://openalex.org/C2780586882,“wikidata”:https://www.wikidata.org/wiki/Q7520643“,”display_name“:”Simple(哲学)“,”level“:2,”score“:0.5256658},{”id“:”https://openalex.org/C2984882572,“wikidata”:https://www.wikidata.org/wiki/Q602886“,”display_name“:”Pi演算“,”level“:2,”score“:0.52351075},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.51826406},{”id“:”https://openalex.org/C2779343474,“wikidata”:https://www.wikidata.org/wiki/Q3109175“,”display_name“:”上下文(考古学)“,”level“:2,”score“:0.45872968},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”字段代数“,”级别“:2,”分数“:0.3406945},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”Mathematics“,”level“:0,”score“:0.332474},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.27633893},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.22630018},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.19604719},{”id“:”https://openalex.org/C71924100,“wikidata”:https://www.wikidata.org/wiki/Q11190(网址:https://www.wikidata.org/wiki/Q11190)“,”display_name“:”Medicine“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C151730666,“wikidata”:https://www.wikidata.org/wiki/Q7205“,”display_name“:”古生物学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”Philosophy“,”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/C111472728,“wikidata”:https://www.wikidata.org/wiki/Q9471“,”display_name“:”认识论“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”Biology“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:1,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/3-540-44612-5_33“,”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、”is_core“:true、”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”:null,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:nul,“sustainable_development_goals”:[],“grants”:[],“dataset”:[]],“versions”:[】,“referenced_works_count”:7,“referenced_works“:[”https://openalex.org/W1846189533","https://openalex.org/W1895954544","https://openalex.org/W2001299902","https://openalex.org/W2027689693","https://openalex.org/W2055754888","https://openalex.org/W2075077574","https://openalex.org/W4246926559“],”related_works“:[”https://openalex.org/W4300624557","https://openalex.org/W2951374406","https://openalex.org/W2560421581","https://openalex.org/W2360904482","https://openalex.org/W2346414977","https://openalex.org/W2119035971","https://openalex.org/W2066263226","https://openalex.org/W1605179516","https://openalex.org/W1569743961","https://openalex.org/W1558702242“],”abstract_inverted_index“:{”We“:[0,79],”introduce“:[1],”explicit“:[2,20,60],”fusions“:[3],”of“:[4,82],”names.“:[5],”To“:/6],”use“:[7],”two“:[8],”name“:[9],”is“:[10,22,63],”To“:[11,35,68],”declare“:[12],”that“:[13,24],”they“:[14],”“may”:[15],“be”:[16],“used”:[17],“可互换。”:[18],“An”:[19],“fusion”:[21,70,87103],“one”:[23],“can”:[25]exist“:[26],”in“:[27,44,65101],“parallel”:[28],“with”:[29,59,99],“some”:[30],“other”:[31],“process,”:[32],“allowing”:[33],“us”:[34],“ask”:[36],“for”:[37,93],“instance”:[38],“how”:[39],“a”:[40,45,55,74,90],“process”:[41,57],“may”:[42],“behave”“:[43],”上下文“:[46],”其中“:[47],”x“:[48],”=“:[49],”y.We“:[50],”当前“:[51],”该“:[52,69,83,86,94102],“\u03c0F”:[53],“-calculates”:[54],“simple”:[56,75],“alculate”:[58,71],“fusions.”:[61],“It”:[62],“samilar”:[64],“many”:[66],“spectives”:【67】,“but”:【72】,“has”:[3],“local”:【76】,“reaction”:〔77〕,“relation.”:【78】,“give”:【80】,“embeddings”:〔81〕,“\u 03c0c 0-演算“:[84],”和“:[85,96],”演算.We“:[88],”提供“:[89],”互模拟“:[91],”同余“:[92],“\u03c0F-calculus”:[95],“compare”:[97],“it”:[98],“超等价”:[100],“calculus.”:[104]},“cited_by_api_url”:“https://api.openalex.org/works?filter=cites:W4233603314“,”counts_by_year“:[{年:2022,”cited_by_count“:1},{年“:2019,”cited_by_count”:1},{“年”:2016,”citecd_by_count“:1',{”年“:2015,”citted_by_count“:1},”年份“:2014,”citesd_by-count“:1}、{”年度“:2013,”cieted_by/count“:1}”,{年份“:2012,”ciited_by_ count”:1_],”update d_date“:”2024-08-31T10:32:14.849755“,“创建日期”:“2022-05-12”}