{"id":"https://openalex.org/W1599897657","doi":"https://doi.org/10.1007/978-3-642-11266-9_46","title":"A Complete Symbolic Bisimulation for Full Applied Pi Calculus","display_name":"A Complete Symbolic Bisimulation for Full Applied Pi Calculus","publication_year":2009,"publication_date":"2009-12-07","ids":{"openalex":"https://openalex.org/W1599897657","doi":"https://doi.org/10.1007/978-3-642-11266-9_46","mag":"1599897657"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-11266-9_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11266-9_46","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100409741","display_name":"Jia Liu","orcid":"https://orcid.org/0000-0003-0383-0934"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jia Liu","raw_affiliation_strings":["Graduate University, Chinese Academy of Sciences,","State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences,","State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, and Graduate University, Chinese Academy of Sciences,#TAB#"],"affiliations":[{"raw_affiliation_string":"Graduate University, Chinese Academy of Sciences,","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences,","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, and Graduate University, Chinese Academy of Sciences,#TAB#","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102361409","display_name":"Huimin Lin","orcid":"https://orcid.org/0009-0007-8181-5277"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huimin Lin","raw_affiliation_strings":["State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences,","[State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences]"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences,","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"[State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences]","institution_ids":["https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100409741"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.7366,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.8592233,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"552","last_page":"563"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"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":"Logic, programming, and type systems","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.9317828416824341},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.8710939288139343},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.60064297914505},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.5879250764846802},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5203627943992615},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5043078660964966},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4472914934158325},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.354974627494812},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27778589725494385},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.13981369137763977}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9317828416824341},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.8710939288139343},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60064297914505},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.5879250764846802},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5203627943992615},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5043078660964966},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4472914934158325},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.354974627494812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27778589725494385},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.13981369137763977},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-11266-9_46","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11266-9_46","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1527737101","https://openalex.org/W1539904031","https://openalex.org/W1556831389","https://openalex.org/W1562230512","https://openalex.org/W1568003051","https://openalex.org/W1599897657","https://openalex.org/W1603799276","https://openalex.org/W1973054120","https://openalex.org/W1994676271","https://openalex.org/W1996497395","https://openalex.org/W1997454380","https://openalex.org/W2035991090","https://openalex.org/W2043338352","https://openalex.org/W2060349224","https://openalex.org/W2077875077","https://openalex.org/W2103263694","https://openalex.org/W2114189125","https://openalex.org/W2126338744","https://openalex.org/W2130123502","https://openalex.org/W2152744480","https://openalex.org/W2163319710","https://openalex.org/W2913663755"],"related_works":["https://openalex.org/W1539904031","https://openalex.org/W1599897657","https://openalex.org/W2346414977","https://openalex.org/W2167019232","https://openalex.org/W2148649146","https://openalex.org/W1480503753","https://openalex.org/W1887007263","https://openalex.org/W91613743","https://openalex.org/W2066263226","https://openalex.org/W1605179516"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}