{"id":"https://openalex.org/W2065703859","doi":"https://doi.org/10.1007/s11432-012-4660-1","title":"Behavioural equivalences of a probabilistic pi-calculus","display_name":"Behavioural equivalences of a probabilistic pi-calculus","publication_year":2012,"publication_date":"2012-08-16","ids":{"openalex":"https://openalex.org/W2065703859","doi":"https://doi.org/10.1007/s11432-012-4660-1","mag":"2065703859"},"language":"en","primary_location":{"id":"doi:10.1007/s11432-012-4660-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-012-4660-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","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/A5089290328","display_name":"Weien Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"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":"WeiEn Chen","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, China","Peking University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Peking University","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040695351","display_name":"Yongzhi Cao","orcid":"https://orcid.org/0000-0001-9517-7332"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"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":"YongZhi Cao","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, China","Peking University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Peking University","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079106687","display_name":"Hanpin Wang","orcid":"https://orcid.org/0000-0002-2439-1670"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"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":"HanPin Wang","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, China","Peking University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education of China, Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Peking University","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040695351"],"corresponding_institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210128818"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10230929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"55","issue":"9","first_page":"2031","last_page":"2043"},"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.9995999932289124,"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.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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.9980000257492065,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8863264322280884},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.6928232312202454},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6792728304862976},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5653626918792725},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.5066877007484436},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43514472246170044},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.41418182849884033},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.398502916097641},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3872840404510498},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3294534683227539},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3149264454841614},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3005528748035431},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.20138677954673767},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17202222347259521},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.08273130655288696}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8863264322280884},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.6928232312202454},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6792728304862976},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5653626918792725},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.5066877007484436},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43514472246170044},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.41418182849884033},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.398502916097641},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3872840404510498},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3294534683227539},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3149264454841614},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3005528748035431},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.20138677954673767},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17202222347259521},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08273130655288696},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11432-012-4660-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-012-4660-1","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"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":49,"referenced_works":["https://openalex.org/W138290785","https://openalex.org/W173641204","https://openalex.org/W258022877","https://openalex.org/W657718082","https://openalex.org/W1503973138","https://openalex.org/W1523174001","https://openalex.org/W1582292473","https://openalex.org/W1591694044","https://openalex.org/W1601254210","https://openalex.org/W1603799276","https://openalex.org/W1904856735","https://openalex.org/W1973674829","https://openalex.org/W1976268573","https://openalex.org/W1994676271","https://openalex.org/W2001748564","https://openalex.org/W2008838944","https://openalex.org/W2008917586","https://openalex.org/W2011180881","https://openalex.org/W2013672985","https://openalex.org/W2030875267","https://openalex.org/W2031805159","https://openalex.org/W2070721186","https://openalex.org/W2080878579","https://openalex.org/W2098737431","https://openalex.org/W2105092702","https://openalex.org/W2110425399","https://openalex.org/W2113391296","https://openalex.org/W2126214140","https://openalex.org/W2128932399","https://openalex.org/W2130773382","https://openalex.org/W2137865376","https://openalex.org/W2140154996","https://openalex.org/W2155105871","https://openalex.org/W2155707149","https://openalex.org/W2157144873","https://openalex.org/W2158942489","https://openalex.org/W2160136100","https://openalex.org/W2161076145","https://openalex.org/W2284263109","https://openalex.org/W2293619108","https://openalex.org/W2329527059","https://openalex.org/W2501924394","https://openalex.org/W2589217375","https://openalex.org/W2734706622","https://openalex.org/W2914000423","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4212872794","https://openalex.org/W6634952462"],"related_works":["https://openalex.org/W2125381826","https://openalex.org/W1586382855","https://openalex.org/W1599897657","https://openalex.org/W1539904031","https://openalex.org/W2346414977","https://openalex.org/W3144317787","https://openalex.org/W2124122503","https://openalex.org/W1569743961","https://openalex.org/W2167019232","https://openalex.org/W1971383138"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}