{"id":"https://openalex.org/W2026251929","doi":"https://doi.org/10.1007/bf02944905","title":"Towards a theory of bisimulation for the higher-order process calculi","display_name":"Towards a theory of bisimulation for the higher-order process calculi","publication_year":2004,"publication_date":"2004-05-01","ids":{"openalex":"https://openalex.org/W2026251929","doi":"https://doi.org/10.1007/bf02944905","mag":"2026251929"},"language":"en","primary_location":{"id":"doi:10.1007/bf02944905","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02944905","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"},"type":"article","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/A5100779223","display_name":"Yongjian Li","orcid":"https://orcid.org/0000-0002-2589-3648"},"institutions":[{"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/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"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yong-Jian Li","raw_affiliation_strings":["Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080, Beijing, P.R. China","Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China"],"affiliations":[{"raw_affiliation_string":"Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080, Beijing, P.R. China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100379552","display_name":"Xinxin Liu","orcid":"https://orcid.org/0000-0002-8334-8277"},"institutions":[{"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/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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin-Xin Liu","raw_affiliation_strings":["Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080, Beijing, P.R. China","Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China"],"affiliations":[{"raw_affiliation_string":"Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, 100080, Beijing, P.R. China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080 P.R. China","institution_ids":["https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100779223"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.4683,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75301818,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"19","issue":"3","first_page":"352","last_page":"363"},"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.996999979019165,"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.996999979019165,"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.996999979019165,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9336943626403809},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.8355225920677185},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8043724298477173},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6444551944732666},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5990508794784546},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5521944761276245},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39779287576675415},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.35521161556243896},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32554274797439575},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27211806178092957}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9336943626403809},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.8355225920677185},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8043724298477173},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6444551944732666},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5990508794784546},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5521944761276245},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39779287576675415},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.35521161556243896},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32554274797439575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27211806178092957},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf02944905","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf02944905","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W202987990","https://openalex.org/W1503973138","https://openalex.org/W1547562281","https://openalex.org/W1558133811","https://openalex.org/W1790031272","https://openalex.org/W2006433153","https://openalex.org/W2008838944","https://openalex.org/W2033051110","https://openalex.org/W2049924207","https://openalex.org/W2050942832","https://openalex.org/W2072048176","https://openalex.org/W2094935854","https://openalex.org/W2128932399","https://openalex.org/W2137865376","https://openalex.org/W2144682526","https://openalex.org/W2144711132","https://openalex.org/W2162477369","https://openalex.org/W2912003593"],"related_works":["https://openalex.org/W2951374406","https://openalex.org/W4300624557","https://openalex.org/W1532145728","https://openalex.org/W2091970733","https://openalex.org/W3020829080","https://openalex.org/W3081656401","https://openalex.org/W2560421581","https://openalex.org/W2008781243","https://openalex.org/W4247534063","https://openalex.org/W2166928437"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}