{"id":"https://openalex.org/W2485651409","doi":"https://doi.org/10.1007/bfb0039045","title":"CONCUR '90 Theories of Concurrency: Unification and Extension","display_name":"CONCUR '90 Theories of Concurrency: Unification and Extension","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2485651409","doi":"https://doi.org/10.1007/bfb0039045","mag":"2485651409"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0039045","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0039045","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"},"type":"book","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":null,"display_name":"Baeten, Josephus C. M.","orcid":null},"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","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Baeten, Josephus C. M.","raw_affiliation_strings":["University of Amsterdam Kruislaan 409, 1098 SJ Amsterdam, The Netherlands","Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands and Programming Research Group,","Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands","Department of Mathematics and Computer Science, Free University De Boelelaan 1081, 1081 HVAmsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Amsterdam Kruislaan 409, 1098 SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands and Programming Research Group,","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Free University De Boelelaan 1081, 1081 HVAmsterdam, The Netherlands","institution_ids":[]}]},{"author_position":"last","author":{"id":null,"display_name":"CONCUR 1990 Amsterdam","orcid":null},"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","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"CONCUR 1990 Amsterdam","raw_affiliation_strings":["Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands and Programming Research Group,","Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands","Department of Mathematics and Computer Science, Free University De Boelelaan 1081, 1081 HVAmsterdam, The Netherlands","University of Amsterdam Kruislaan 409, 1098 SJ Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands and Programming Research Group,","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Software Technology, CWI Kruislaan 413, 1098 SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Free University De Boelelaan 1081, 1081 HVAmsterdam, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"University of Amsterdam Kruislaan 409, 1098 SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I887064364"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.42741935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.08160000294446945,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.08160000294446945,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.07840000092983246,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8712829351425171},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.8468650579452515},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7828669548034668},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.7681050896644592},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.517052948474884},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4540255665779114},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.4311738908290863},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3975133001804352},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3807792067527771},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17213132977485657},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09139838814735413},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.049250900745391846}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8712829351425171},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.8468650579452515},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7828669548034668},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.7681050896644592},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.517052948474884},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4540255665779114},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.4311738908290863},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3975133001804352},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3807792067527771},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17213132977485657},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09139838814735413},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.049250900745391846},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bfb0039045","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0039045","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"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-018643056","is_oa":false,"landing_page_url":"https://doi.org/10.1007/BFb0039045","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software, multimedia"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2367630557","https://openalex.org/W101666983","https://openalex.org/W2183792531","https://openalex.org/W2595286499","https://openalex.org/W2471908688","https://openalex.org/W1845283042","https://openalex.org/W2616882931","https://openalex.org/W2150179797","https://openalex.org/W2170147831","https://openalex.org/W4242696047"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2016-08-23T00:00:00"}