{"id":"https://openalex.org/W2460221480","doi":"https://doi.org/10.1007/978-3-319-39570-8_16","title":"The Challenge of Typed Expressiveness in Concurrency","display_name":"The Challenge of Typed Expressiveness in Concurrency","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2460221480","doi":"https://doi.org/10.1007/978-3-319-39570-8_16","mag":"2460221480"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-39570-8_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-39570-8_16","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-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01432921v1/file/426757_1_En_16_Chapter.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034548013","display_name":"Jorge A. P\u00e9rez","orcid":"https://orcid.org/0000-0002-1452-6180"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jorge A. P\u00e9rez","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5034548013"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6772,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.65698037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"247"},"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.9998999834060669,"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.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/concurrency","display_name":"Concurrency","score":0.8728474378585815},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8673034906387329},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40525543689727783},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3721858263015747}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8728474378585815},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8673034906387329},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40525543689727783},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3721858263015747}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-39570-8_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-39570-8_16","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-chapter"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/b83d9576-46cc-432d-9e2c-516cd750151d","is_oa":false,"landing_page_url":"https://research.rug.nl/en/publications/b83d9576-46cc-432d-9e2c-516cd750151d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Perez, J A 2016, The Challenge of Typed Expressiveness in Concurrency. in Proc. of the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE\u201916). Lecture Notes in Computer Science, vol. 9688, Springer, pp. 239\u2013 247. https://doi.org/10.1007/978-3-319-39570-8_16","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-01432921v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01432921","pdf_url":"https://inria.hal.science/hal-01432921v1/file/426757_1_En_16_Chapter.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.239-247, ⟨10.1007/978-3-319-39570-8_16⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01432921v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01432921","pdf_url":"https://inria.hal.science/hal-01432921v1/file/426757_1_En_16_Chapter.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.239-247, ⟨10.1007/978-3-319-39570-8_16⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2460221480.pdf","grobid_xml":"https://content.openalex.org/works/W2460221480.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W86813616","https://openalex.org/W97275946","https://openalex.org/W126560812","https://openalex.org/W199277246","https://openalex.org/W1523525039","https://openalex.org/W1527058108","https://openalex.org/W1537254735","https://openalex.org/W1607623316","https://openalex.org/W1663174014","https://openalex.org/W1784055113","https://openalex.org/W1790031272","https://openalex.org/W1859118644","https://openalex.org/W1903474317","https://openalex.org/W1972836343","https://openalex.org/W2019102125","https://openalex.org/W2021990421","https://openalex.org/W2028016184","https://openalex.org/W2028562437","https://openalex.org/W2029501365","https://openalex.org/W2035971861","https://openalex.org/W2037182411","https://openalex.org/W2040105559","https://openalex.org/W2059524947","https://openalex.org/W2060992753","https://openalex.org/W2061637869","https://openalex.org/W2065772939","https://openalex.org/W2071395587","https://openalex.org/W2072572819","https://openalex.org/W2076742248","https://openalex.org/W2088962847","https://openalex.org/W2092952058","https://openalex.org/W2107438584","https://openalex.org/W2114877704","https://openalex.org/W2119992090","https://openalex.org/W2124126159","https://openalex.org/W2128280268","https://openalex.org/W2138552902","https://openalex.org/W2140231005","https://openalex.org/W2163319710","https://openalex.org/W2170626879","https://openalex.org/W2204863282","https://openalex.org/W2246451781","https://openalex.org/W2289388769","https://openalex.org/W2295577580","https://openalex.org/W2329205359","https://openalex.org/W2461655671","https://openalex.org/W2469507234","https://openalex.org/W2553788418","https://openalex.org/W2570848368","https://openalex.org/W2949491624","https://openalex.org/W3005258739","https://openalex.org/W3008328790","https://openalex.org/W3009331296","https://openalex.org/W3099739931","https://openalex.org/W3123236802","https://openalex.org/W3124439491","https://openalex.org/W3139924328","https://openalex.org/W3146460701","https://openalex.org/W3146867048","https://openalex.org/W3155673021","https://openalex.org/W4285719527","https://openalex.org/W6822113502"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W1490475243","https://openalex.org/W1500698072"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}