{"id":"https://openalex.org/W1514174256","doi":"https://doi.org/10.1007/978-3-642-04856-2_10","title":"On Bisimulation Theory in Linear Higher-Order \u03c0-Calculus","display_name":"On Bisimulation Theory in Linear Higher-Order \u03c0-Calculus","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1514174256","doi":"https://doi.org/10.1007/978-3-642-04856-2_10","mag":"1514174256"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-04856-2_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-04856-2_10","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/A5103263648","display_name":"Xian Xu","orcid":"https://orcid.org/0000-0003-4584-9430"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]},{"id":"https://openalex.org/I143593769","display_name":"East China University of Science and Technology","ror":"https://ror.org/01vyrm377","country_code":"CN","type":"education","lineage":["https://openalex.org/I143593769"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xian Xu","raw_affiliation_strings":["BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 800 Dong Chuan Road, Shanghai, China P.R., (200240)","Department of Computer Science and Technology, East China University of Science and Technology, 130 Mei Long Road, Shanghai, China P.R., (200237)"],"affiliations":[{"raw_affiliation_string":"BASICS, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 800 Dong Chuan Road, Shanghai, China P.R., (200240)","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Department of Computer Science and Technology, East China University of Science and Technology, 130 Mei Long Road, Shanghai, China P.R., (200237)","institution_ids":["https://openalex.org/I143593769"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5103263648"],"corresponding_institution_ids":["https://openalex.org/I143593769","https://openalex.org/I183067930"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5789,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.66056759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"244","last_page":"274"},"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.9998000264167786,"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.9998000264167786,"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.9983000159263611,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.9743268489837646},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6927345395088196},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.63072669506073},{"id":"https://openalex.org/keywords/observational-equivalence","display_name":"Observational equivalence","score":0.6286835074424744},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4634321630001068},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.4447844922542572},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.428547739982605},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4106519818305969},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33427295088768005},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32320505380630493},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3087307810783386},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.26652970910072327},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22598659992218018}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9743268489837646},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6927345395088196},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.63072669506073},{"id":"https://openalex.org/C2777721189","wikidata":"https://www.wikidata.org/wiki/Q17121921","display_name":"Observational equivalence","level":2,"score":0.6286835074424744},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4634321630001068},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.4447844922542572},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.428547739982605},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4106519818305969},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33427295088768005},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32320505380630493},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3087307810783386},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26652970910072327},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22598659992218018},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-04856-2_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-04856-2_10","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":[{"id":"https://metadata.un.org/sdg/16","score":0.5,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W59270753","https://openalex.org/W149473297","https://openalex.org/W258022877","https://openalex.org/W1495299640","https://openalex.org/W1503973138","https://openalex.org/W1509030580","https://openalex.org/W1514174256","https://openalex.org/W1522712643","https://openalex.org/W1540321537","https://openalex.org/W1589421353","https://openalex.org/W1790031272","https://openalex.org/W1980971812","https://openalex.org/W1998827035","https://openalex.org/W2008838944","https://openalex.org/W2009684443","https://openalex.org/W2013672985","https://openalex.org/W2019272371","https://openalex.org/W2027689693","https://openalex.org/W2033051110","https://openalex.org/W2035809306","https://openalex.org/W2057292961","https://openalex.org/W2085273936","https://openalex.org/W2094935854","https://openalex.org/W2096921579","https://openalex.org/W2098401737","https://openalex.org/W2106102830","https://openalex.org/W2128932399","https://openalex.org/W2166870727","https://openalex.org/W2169247901","https://openalex.org/W2170626879","https://openalex.org/W2503479549","https://openalex.org/W2912106379","https://openalex.org/W2914597273","https://openalex.org/W3032274181"],"related_works":["https://openalex.org/W2156746546","https://openalex.org/W2951374406","https://openalex.org/W1532145728","https://openalex.org/W2091970733","https://openalex.org/W3020829080","https://openalex.org/W4300624557","https://openalex.org/W1525668581","https://openalex.org/W1502101334","https://openalex.org/W1512082605","https://openalex.org/W3025051189"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}