{“id”：“https://openalex.org/W2151662544“，”doi“：”https://doi.org/10.109/lics.1996.561302“，”title“：”\u03c0-calculation的完全抽象模型“，”display_name“：”\f03c0-calculations的完全抽象模式“，”publication_year“：2002，”publiation_date“：”2002-12-24“，”ids“：{”openalex“：”https://openalex.org/W2151662544“，”doi“：”https://doi.org/10.109/lics.1996.561302“，”mag“：”2151662544“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1996.561302“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://www.openaccessrepository.it/record/153522/files/fulltext.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5080675787“，”display_name“：”Marcelo Fiore“，”orcid“：”https://orcid.org/0000-0001-8558-3492}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]｝]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”M.P.Fiore“，”raw_affiation_strings“：[”LFCS，University of Edinburgh，UK“]，”附属机构“：[｛”raw_affiation_string“：”LFCS，University of Edinburgh，UK“，”机构_ids“：[”https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”E.Moggi“，”raw _ afiliation_strings“：[“意大利热那亚日内瓦大学DISI”]，“affiliations”：[{“raw_affiliation_strong”：“意大利热那亚日内瓦大学DSI”，“institution_ids”：[”https://openalex.org/I83816512“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5077030456“，”display_name“：”Davide Sangiorgi“，”orcid“：”https://orcid.org/0000-0001-5823-3235}，“机构”：[{“id”：https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”D.Sangiorgi“，”raw _ affiliation_strings“：[“INRIA，Sophia-Antipolis，France”]，”从属关系“：[{”raw _affiliation_string“：”INRIAhttps://openalex.org/I1326498283“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：3，”institutions_disticent_count”：3，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：1.383，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：39，“citation_normalized_percentile”：{“value”：0.8 5967，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：90，”max“：91}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://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“：”Physical Sciences“｝｝，”topics“：[｛”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.999，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9981，”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/metalanguage网站“，”display_name“：”Metalanguage“，”score“：0.79843843}，{”id“：”https://openalex.org/keywords/pi-calculus“，”display_name“：”Pi演算“，”score“：0.740403}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.539518}，{”id“：”https://openalex.org/keywords/bisimulation网站“，”display_name“：”双向模拟“，”score“：0.4773895}，{”id“：”https://openalex.org/keywords/abstraction网站“，”display_name“：”抽象“，”score“：0.44892663}]，”concepts“：[{”id“：”https://openalex.org/C142998047，“wikidata”：https://www.wikidata.org/wiki/Q193983“，”display_name“：”元语言“，”level“：2，”score“：0.79843843}，{”id“：”https://openalex.org/C2984882572，“wikidata”：https://www.wikidata.org/wiki/Q602886“，”display_name“：”Pi演算“，”level“：2，”score“：0.740403}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.54841703}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.4955064}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.4773895}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.44892663}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”口译（哲学）“，”level“：2，”score“：0.41044724｝，｛”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.40690318}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.31704766}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.2615694}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.23573598}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.1076619}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.09896988}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”Dentry“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1996.561302“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://www.openaccessrepository.it/record/153252，“pdf_url”：https://www.openaccessrepository.it/record/153252/files/fulltext.pdf，“源”：{“id”：https://openalex.org/S4306402478“，”display_name“：”INFM-OAR（INFN Catania）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I4210116497“，”“host_organization_name”：“INFN Sezione di Catania”，“host_organization_lineage”：[“https://openalex.org/I4210116497“]，”host_organization_lineage_names“：[”INFN Sezione di Catania“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://www.openaccessrepository.it/record/153252，“pdf_url”：https://www.openaccessrepository.it/record/153252/files/fulltext.pdf，“源”：{“id”：https://openalex.org/S4306402478“，”display_name“：”INFM-OAR（INFN Catania）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I4210116497“，”“host_organization_name”：“INFN Sezione di Catania”，“host_organization_lineage”：[“https://openalex.org/I4210116497“]，”host_organization_lineage_names“：[”INFN Sezione di Catania“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：37，”reforenced_works“：[”https://openalex.org/W1508408261","https://openalex.org/W1539804543","https://openalex.org/W1552902269","https://openalex.org/W1566009901","https://openalex.org/W173723324","https://openalex.org/W1790031272","https://openalex.org/W1815958522","https://openalex.org/W1878098282","https://openalex.org/W1883772204","https://openalex.org/W1923324835","https://openalex.org/W1978375202","https://openalex.org/W1997143185","https://openalex.org/W1997305605","https://openalex.org/W1997454380","https://openalex.org/W2001299902","https://openalex.org/W2013672985","https://openalex.org/W2022487277","https://openalex.org/W2024873396","https://openalex.org/W2027689693","https://openalex.org/W2055632964","https://openalex.org/W2072848882","https://openalex.org/W2096619922","https://openalex.org/W2100130575","https://openalex.org/W2108652205","https://openalex.org/W2111841006","https://openalex.org/W2113020196","https://openalex.org/W2121372686","https://openalex.org/W2128932399","https://openalex.org/W2128995870","https://openalex.org/W2139772363","https://openalex.org/W2176656321","https://openalex.org/W2340102009","https://openalex.org/W2914212232","https://openalex.org/W2938366666","https://openalex.org/W3022746997","https://openalex.org/W4211080362","https://openalex.org/W59270753“]，”related_works“：[”https://openalex.org/W78524380","https://openalex.org/W583126019","https://openalex.org/W3177659913","https://openalex.org/W2160234152","https://openalex.org/W2143893379","https://openalex.org/W2136660485","https://openalex.org/W2128932399","https://openalex.org/W2123887510","https://openalex.org/W2120713972","https://openalex.org/W2101032471","https://openalex.org/W2088189323","https://openalex.org/W2027689693","https://openalex.org/W2013672985","https://openalex.org/W1997143185","https://openalex.org/W1975082667","https://openalex.org/W1859542606","https://openalex.org/W1815958522","https://openalex.org/W1539804543","https://openalex.org/W1521014576","https://openalex.org/W1503973138“]，”abstract_inverted_index“：｛”This“：[0,31]，”paper“：[1]，”provides“：[2]，”both“：[3]，”a“：[4，14，39，96107]，”fully“：[5]，”abstract“：[6，60]，”（领域理论）“：[7]，”model“：[8，17，78]，”for“：[9，18，41，70]，”the“：[10，19，46，50，71，76，83，90102112116]，”/spl“：[11，21，47，73，85]，”pi/-微积分“：[12,22,48,74,86]，”和“：[13,29,44110]，”普遍“：[15]，”（集合论）“：[16]，”有限“：[20,72]，”with“：[23,87]，”respect“：[24,88]，”to“：[25,82,89]，”strong“：[26]，“late”：[27]，”bisimulation“：[28]，”同余。“：[30]，”is“：[32,58,79,99]，”done“：[33]，”by：“：[34]，”considering“：[35]，”categorical“：[36]，”models“：[37,43]，”definiting“：38]，”metalanguage“：[40]，”these“：[42]，”translating“：[45]，”into“：[49]，”metalanguage。“：[51117]，“A”：[52]，“技术”：[53]，“新颖性”：[54]，“of”：[55,62104115]，“our”：[56]，“方法”：[57]，“an”：[59]，“证明”：[61]，“完整”：[63,68]，“抽象：”“：[80]，”扩展“：[81]，”整体“：[84]，”域理论“：[91]，”解释。“：[92]，”In“：[93]，”this“：[94]，”证明“：[95]，”中心“：[97]，”角色“：[98]，”扮演“：[100]，”by“：[1010111]，”描述“：[103]，”非决定论“：[105]，”as“：[106]，”free“：[108]，”construction“：[109]，”equivational“：[113]，”theory“：[114]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2151662544“，”counts_by_year“：[{”年“：2020，”cited_by_count“：1}，{”年份“：2019，”cited_by_count”：1}，{“年份”：2016，”citecd_by_count“：2}，”{“年”：2015，”citesd_by_count“:2]，”年“2014，”citted_by-count“:1}，日期“：”2024-09-17T02:44:50.390449“，”创建日期“：“2016-06-24”}