{"id":"https://openalex.org/W2075116711","doi":"https://doi.org/10.1007/s00236-012-0168-9","title":"Distinguishing and relating higher-order and first-order processes by expressiveness","display_name":"Distinguishing and relating higher-order and first-order processes by expressiveness","publication_year":2012,"publication_date":"2012-10-17","ids":{"openalex":"https://openalex.org/W2075116711","doi":"https://doi.org/10.1007/s00236-012-0168-9","mag":"2075116711"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-012-0168-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-012-0168-9","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","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/A5103263648","display_name":"Xian Xu","orcid":"https://orcid.org/0000-0003-4584-9430"},"institutions":[{"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":["Department of Computer Science and Technology, East China University of Science and Technology, 130 Mei Long Road, Shanghai, 200237, People\u2019s Republic of China","Department of Computer Science and Technology, East China University of Science and Technology, Shanghai, People's Republic of China 200237#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, East China University of Science and Technology, 130 Mei Long Road, Shanghai, 200237, People\u2019s Republic of China","institution_ids":["https://openalex.org/I143593769"]},{"raw_affiliation_string":"Department of Computer Science and Technology, East China University of Science and Technology, Shanghai, People's Republic of China 200237#TAB#","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"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":3.5658,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.92973803,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"49","issue":"7-8","first_page":"445","last_page":"484"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9927999973297119,"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/corollary","display_name":"Corollary","score":0.8451603055000305},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6945867538452148},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.5150763392448425},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4509167969226837},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.44499245285987854},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4322246313095093},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.32373034954071045},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.25718873739242554},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16951674222946167},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.054239511489868164}],"concepts":[{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.8451603055000305},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6945867538452148},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5150763392448425},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4509167969226837},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.44499245285987854},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4322246313095093},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.32373034954071045},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25718873739242554},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16951674222946167},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.054239511489868164},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00236-012-0168-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-012-0168-9","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Gender equality","id":"https://metadata.un.org/sdg/5"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W59270753","https://openalex.org/W67262547","https://openalex.org/W258022877","https://openalex.org/W1500215838","https://openalex.org/W1503973138","https://openalex.org/W1514174256","https://openalex.org/W1521604752","https://openalex.org/W1530882603","https://openalex.org/W1531403286","https://openalex.org/W1532742882","https://openalex.org/W1571805725","https://openalex.org/W1679756568","https://openalex.org/W1789824541","https://openalex.org/W1790031272","https://openalex.org/W1894198336","https://openalex.org/W1944468146","https://openalex.org/W1980971812","https://openalex.org/W1998827035","https://openalex.org/W1999770529","https://openalex.org/W2001299902","https://openalex.org/W2008838944","https://openalex.org/W2013672985","https://openalex.org/W2027689693","https://openalex.org/W2031130447","https://openalex.org/W2033051110","https://openalex.org/W2035382252","https://openalex.org/W2068983796","https://openalex.org/W2096921579","https://openalex.org/W2098401737","https://openalex.org/W2098981343","https://openalex.org/W2103718058","https://openalex.org/W2118229393","https://openalex.org/W2126724881","https://openalex.org/W2128932399","https://openalex.org/W2128995870","https://openalex.org/W2131851771","https://openalex.org/W2154003318","https://openalex.org/W2158553637","https://openalex.org/W2160548641","https://openalex.org/W2170052897","https://openalex.org/W2170626879","https://openalex.org/W2201760732","https://openalex.org/W2205337852","https://openalex.org/W2570848368","https://openalex.org/W2580244263","https://openalex.org/W2914597273","https://openalex.org/W2987106766","https://openalex.org/W3000511677","https://openalex.org/W3032274181","https://openalex.org/W3124439491","https://openalex.org/W4238265551"],"related_works":["https://openalex.org/W2082455413","https://openalex.org/W2030128136","https://openalex.org/W2016617468","https://openalex.org/W1503051695","https://openalex.org/W2079624406","https://openalex.org/W1997979755","https://openalex.org/W1994610778","https://openalex.org/W2160600548","https://openalex.org/W2333610095","https://openalex.org/W3016301616"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}