乐胖代购免代理版

{"id":"https://openalex.org/W2222296167","doi":"https://doi.org/10.1016/j.tcs.2004.10.003","title":"CCS with Hennessy's merge has no finite-equational axiomatization","display_name":"CCS with Hennessy's merge has no finite-equational axiomatization","publication_year":2004,"publication_date":"2004-11-12","ids":{"openalex":"https://openalex.org/W2222296167","doi":"https://doi.org/10.1016/j.tcs.2004.10.003","mag":"2222296167"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.tcs.2004.10.003","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://research.tue.nl/files/2499288/565579032372355.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041913577","display_name":"Luca Aceto","orcid":"https://orcid.org/0000-0002-2197-3018"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]},{"id":"https://openalex.org/I4210087405","display_name":"Danish National Research Foundation","ror":"https://ror.org/00znyv691","country_code":"DK","type":"nonprofit","lineage":["https://openalex.org/I4210087405"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Luca Aceto","raw_affiliation_strings":["Department of Computer Science, BRICS (Basic Research in Computer Science), Centre of the Danish National Research Foundation, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg \u00d8, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, BRICS (Basic Research in Computer Science), Centre of the Danish National Research Foundation, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg \u00d8, Denmark","institution_ids":["https://openalex.org/I891191580","https://openalex.org/I4210087405"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078610814","display_name":"Wan Fokkink","orcid":"https://orcid.org/0000-0001-7443-8978"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Wan Fokkink","raw_affiliation_strings":["Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Software Engineering, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016540152","display_name":"Anna Ing\u00f3lfsd\u00f3ttir","orcid":"https://orcid.org/0000-0001-8362-3075"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]},{"id":"https://openalex.org/I4210087405","display_name":"Danish National Research Foundation","ror":"https://ror.org/00znyv691","country_code":"DK","type":"nonprofit","lineage":["https://openalex.org/I4210087405"]},{"id":"https://openalex.org/I1327191685","display_name":"deCODE Genetics (Iceland)","ror":"https://ror.org/04dzdm737","country_code":"IS","type":"company","lineage":["https://openalex.org/I1327191685"]}],"countries":["DK","IS"],"is_corresponding":false,"raw_author_name":"Anna Ing\u00f3lfsd\u00f3ttir","raw_affiliation_strings":["Department of Computer Science, BRICS (Basic Research in Computer Science), Centre of the Danish National Research Foundation, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg \u00d8, Denmark","deCODE Genetics, Sturlugata 8, 101 Reykjav\u00edk, Iceland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, BRICS (Basic Research in Computer Science), Centre of the Danish National Research Foundation, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg \u00d8, Denmark","institution_ids":["https://openalex.org/I891191580","https://openalex.org/I4210087405"]},{"raw_affiliation_string":"deCODE Genetics, Sturlugata 8, 101 Reykjav\u00edk, Iceland","institution_ids":["https://openalex.org/I1327191685"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067908378","display_name":"Bas Luttik","orcid":"https://orcid.org/0000-0001-6710-8436"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bas Luttik","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhoven Technical University, P.O. Box 513, 5600 MB Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhoven Technical University, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5041913577"],"corresponding_institution_ids":["https://openalex.org/I891191580","https://openalex.org/I4210087405"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690,"provenance":"doaj"},"apc_paid":null,"fwci":5.175,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":41,"citation_normalized_percentile":{"value":0.87294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":"330","issue":"3","first_page":"377","last_page":"405"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9984,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9979,"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/process-calculus","display_name":"Process calculus","score":0.76376283},{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.7071871},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.6928586},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.4128637}],"concepts":[{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.8479588},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.76376283},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.7071871},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.6928586},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5795417},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.43221807},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.42627868},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.4128637},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36040443},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35656986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2822314},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.24321634},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2273162},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18165064},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.07297313}],"mesh":[],"locations_count":5,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.tcs.2004.10.003","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/d6c7f219-77b7-4b3f-aeb9-11ab69514e95","pdf_url":"https://research.tue.nl/files/2499288/565579032372355.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/14520","pdf_url":"https://ir.cwi.nl/pub/14520/1-s2.0-S0304397504006887-main.pdf","source":{"id":"https://openalex.org/S4306400859","display_name":"CWI's Institutional Repository (Centrum Wiskunde & Informatica)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1341640284","host_organization_name":"Centrum Wiskunde & Informatica","host_organization_lineage":["https://openalex.org/I1341640284"],"host_organization_lineage_names":["Centrum Wiskunde & Informatica"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://www.brics.dk/RS/03/34/index.html","pdf_url":"https://www.brics.dk/RS/03/34/BRICS-RS-03-34.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":["Aalborg University"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/526702f9-44e3-4608-93bb-ccb8ad9726b6","pdf_url":"https://research.tue.nl/files/2254738/200403.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/d6c7f219-77b7-4b3f-aeb9-11ab69514e95","pdf_url":"https://research.tue.nl/files/2499288/565579032372355.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":43,"referenced_works":["https://openalex.org/W1503973138","https://openalex.org/W1547562281","https://openalex.org/W1547752895","https://openalex.org/W1567751343","https://openalex.org/W1582292473","https://openalex.org/W1601508809","https://openalex.org/W1868341999","https://openalex.org/W1897280781","https://openalex.org/W1972478730","https://openalex.org/W1975572112","https://openalex.org/W1978469611","https://openalex.org/W1978996774","https://openalex.org/W1979462141","https://openalex.org/W1981404622","https://openalex.org/W1994350081","https://openalex.org/W2024074683","https://openalex.org/W2027519864","https://openalex.org/W2028878124","https://openalex.org/W2061007349","https://openalex.org/W2063465006","https://openalex.org/W2070157304","https://openalex.org/W2090189451","https://openalex.org/W2095975761","https://openalex.org/W2100544365","https://openalex.org/W2105135809","https://openalex.org/W2105715274","https://openalex.org/W2118229393","https://openalex.org/W2132282999","https://openalex.org/W2136920408","https://openalex.org/W2150320481","https://openalex.org/W2158276220","https://openalex.org/W2171876361","https://openalex.org/W2176300081","https://openalex.org/W2189381394","https://openalex.org/W2198419478","https://openalex.org/W2340102009","https://openalex.org/W258022877","https://openalex.org/W2803969951","https://openalex.org/W3021003119","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W4243555061","https://openalex.org/W84232747"],"related_works":["https://openalex.org/W4300624557","https://openalex.org/W2951374406","https://openalex.org/W2560421581","https://openalex.org/W2360904482","https://openalex.org/W2346414977","https://openalex.org/W2119035971","https://openalex.org/W2066263226","https://openalex.org/W1945318122","https://openalex.org/W1605179516","https://openalex.org/W1558702242"],"abstract_inverted_index":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2222296167","counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-01-08T18:36:22.886508","created_date":"2016-06-24"}