{"id":"https://openalex.org/W4399479580","doi":"https://doi.org/10.1007/978-3-031-62697-5_9","title":"The Concurrent Calculi Formalisation Benchmark","display_name":"The Concurrent Calculi Formalisation Benchmark","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4399479580","doi":"https://doi.org/10.1007/978-3-031-62697-5_9"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-62697-5_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-62697-5_9","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-05009682","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091406959","display_name":"Marco Carbone","orcid":"https://orcid.org/0000-0001-9479-2632"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Marco Carbone","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark","ITU - IT University of Copenhagen (Rued Langgaards Vej 7, 2300 K\u00f8benhavn, Danemark - Danemark)"],"raw_orcid":"https://orcid.org/0000-0001-9479-2632","affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"ITU - IT University of Copenhagen (Rued Langgaards Vej 7, 2300 K\u00f8benhavn, Danemark - Danemark)","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000346761","display_name":"David Castro","orcid":"https://orcid.org/0000-0002-6939-4189"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Castro-Perez","raw_affiliation_strings":["University of Kent, Canterbury, UK","University of Kent [Canterbury] (Canterbury,\r\nKent,\r\nCT2 7NZ - Royaume-Uni)"],"raw_orcid":"https://orcid.org/0000-0002-6939-4189","affiliations":[{"raw_affiliation_string":"University of Kent, Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]},{"raw_affiliation_string":"University of Kent [Canterbury] (Canterbury,\r\nKent,\r\nCT2 7NZ - Royaume-Uni)","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017624773","display_name":"Francisco Ferreira","orcid":"https://orcid.org/0000-0001-8494-7696"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Francisco Ferreira","raw_affiliation_strings":["Royal Holloway, University of London, Egham, UK","RHUL - Royal Holloway [University of London] (Egham, Surrey, TW20 0EX - Royaume-Uni)"],"raw_orcid":"https://orcid.org/0000-0001-8494-7696","affiliations":[{"raw_affiliation_string":"Royal Holloway, University of London, Egham, UK","institution_ids":["https://openalex.org/I184558857"]},{"raw_affiliation_string":"RHUL - Royal Holloway [University of London] (Egham, Surrey, TW20 0EX - Royaume-Uni)","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038682319","display_name":"Lorenzo Gheri","orcid":"https://orcid.org/0000-0002-3191-7722"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lorenzo Gheri","raw_affiliation_strings":["University of Liverpool, Liverpool, UK","University of Liverpool (Liverpool L69 3BX, United Kingdom - Royaume-Uni)"],"raw_orcid":"https://orcid.org/0000-0002-3191-7722","affiliations":[{"raw_affiliation_string":"University of Liverpool, Liverpool, UK","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"University of Liverpool (Liverpool L69 3BX, United Kingdom - Royaume-Uni)","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062717374","display_name":"Frederik Krogsdal Jacobsen","orcid":"https://orcid.org/0000-0003-3651-8314"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Frederik Krogsdal Jacobsen","raw_affiliation_strings":["Technical University of Denmark, Kgs. Lyngby, Denmark","DTU - Danmarks Tekniske Universitet = Technical University of Denmark (Anker Engelunds Vej 1 , Bygning 101A , 2800 Kgs. Lyngby - Danemark)"],"raw_orcid":"https://orcid.org/0000-0003-3651-8314","affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Kgs. Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"DTU - Danmarks Tekniske Universitet = Technical University of Denmark (Anker Engelunds Vej 1 , Bygning 101A , 2800 Kgs. Lyngby - Danemark)","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021883093","display_name":"Alberto Momigliano","orcid":"https://orcid.org/0000-0003-0942-4777"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Momigliano","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano, Milan, Italy","UNIMI - Universit\u00e0 degli Studi di Milano = University of Milan (Via Festa del Perdono 7 - 20122 Milano - Italie)"],"raw_orcid":"https://orcid.org/0000-0003-0942-4777","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano, Milan, Italy","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"UNIMI - Universit\u00e0 degli Studi di Milano = University of Milan (Via Festa del Perdono 7 - 20122 Milano - Italie)","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047694866","display_name":"Luca Padovani","orcid":"https://orcid.org/0000-0001-9097-1297"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Padovani","raw_affiliation_strings":["Universit\u00e0 di Camerino, Camerino, Italy","UNICAM - Universit\u00e0 degli Studi di Camerino = University of Camerino (Piazza Cavour 19/f 62032 Camerino (MC) - Italie)"],"raw_orcid":"https://orcid.org/0000-0001-9097-1297","affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Camerino, Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]},{"raw_affiliation_string":"UNICAM - Universit\u00e0 degli Studi di Camerino = University of Camerino (Piazza Cavour 19/f 62032 Camerino (MC) - Italie)","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033402139","display_name":"Alceste Scalas","orcid":"https://orcid.org/0000-0002-1153-6164"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Alceste Scalas","raw_affiliation_strings":["Technical University of Denmark, Kgs. Lyngby, Denmark","DTU - Danmarks Tekniske Universitet = Technical University of Denmark (Anker Engelunds Vej 1 , Bygning 101A , 2800 Kgs. Lyngby - Danemark)"],"raw_orcid":"https://orcid.org/0000-0002-1153-6164","affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Kgs. Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"DTU - Danmarks Tekniske Universitet = Technical University of Denmark (Anker Engelunds Vej 1 , Bygning 101A , 2800 Kgs. Lyngby - Danemark)","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011758597","display_name":"Dawit Tirore","orcid":"https://orcid.org/0000-0002-1997-5161"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Dawit Tirore","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark","ITU - IT University of Copenhagen (Rued Langgaards Vej 7, 2300 K\u00f8benhavn, Danemark - Danemark)"],"raw_orcid":"https://orcid.org/0000-0002-1997-5161","affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"ITU - IT University of Copenhagen (Rued Langgaards Vej 7, 2300 K\u00f8benhavn, Danemark - Danemark)","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090769122","display_name":"Martin Vassor","orcid":"https://orcid.org/0000-0002-2057-0495"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Martin Vassor","raw_affiliation_strings":["University of Oxford, Oxford, UK","University of Oxford (Wellington Square, Oxford OX1 2JD - Royaume-Uni)"],"raw_orcid":"https://orcid.org/0000-0002-2057-0495","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford (Wellington Square, Oxford OX1 2JD - Royaume-Uni)","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054171989","display_name":"Nobuko Yoshida","orcid":"https://orcid.org/0000-0002-3925-8557"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nobuko Yoshida","raw_affiliation_strings":["University of Oxford, Oxford, UK","University of Oxford (Wellington Square, Oxford OX1 2JD - Royaume-Uni)"],"raw_orcid":"https://orcid.org/0000-0002-3925-8557","affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford (Wellington Square, Oxford OX1 2JD - Royaume-Uni)","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5099070665","display_name":"Daniel Zackon","orcid":"https://orcid.org/0009-0008-6153-2955"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Daniel Zackon","raw_affiliation_strings":["McGill University, Montreal, Canada","McGill University = Universit\u00e9 McGill [Montr\u00e9al, Canada] (845, rue Sherbrooke O. Montr\u00e9al (Qu\u00e9bec) Canada H3A 0G4 - Canada)"],"raw_orcid":"https://orcid.org/0009-0008-6153-2955","affiliations":[{"raw_affiliation_string":"McGill University, Montreal, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"McGill University = Universit\u00e9 McGill [Montr\u00e9al, Canada] (845, rue Sherbrooke O. Montr\u00e9al (Qu\u00e9bec) Canada H3A 0G4 - Canada)","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5091406959"],"corresponding_institution_ids":["https://openalex.org/I83467386"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.9107,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.91191151,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"158"},"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.9997000098228455,"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.9997000098228455,"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.9782000184059143,"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.9491999745368958,"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/computer-science","display_name":"Computer science","score":0.8708953261375427},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6798148155212402},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40312185883522034},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33774471282958984},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.04560992121696472}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8708953261375427},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6798148155212402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40312185883522034},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33774471282958984},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.04560992121696472},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-031-62697-5_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-62697-5_9","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:HAL:hal-05009682v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05009682","pdf_url":null,"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":"26th International Conference on Coordination Models and Languages (COORDINATION), Jun 2024, Groningen, Netherlands. pp.149-158, ⟨10.1007/978-3-031-62697-5_9⟩","raw_type":"Conference papers"},{"id":"pmh:oai:cris.unibo.it:11585/996950","is_oa":false,"landing_page_url":"https://hdl.handle.net/11585/996950","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/484310","is_oa":false,"landing_page_url":"https://hdl.handle.net/11581/484310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:publications/04acb22d-625d-4e94-86f5-96d7ab4267fe","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/04acb22d-625d-4e94-86f5-96d7ab4267fe","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Carbone, M, Castro-Perez, D, Ferreira, F, Gheri, L, Jacobsen, F K, Momigliano, A, Padovani, L, Scalas, A, Tirore, D, Vassor, M, Yoshida, N & Zackon, D 2024, The Concurrent Calculi Formalisation Benchmark. in Coordination Models and Languages. Lecture Notes in Computer Science, vol. 14676, pp. 149-158. https://doi.org/10.1007/978-3-031-62697-5_9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/ed981072-6e7b-4059-9ad4-f0aa3e5077e3","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/ed981072-6e7b-4059-9ad4-f0aa3e5077e3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Carbone , M , Castro-Perez , D , Ferreira , F , Gheri , L , Jacobsen , F K , Momigliano , A , Padovani , L , Scalas , A , Tirore , D , Vassor , M , Yoshida , N & Zackon , D 2024 , The Concurrent Calculi Formalisation Benchmark . in Proceedings of 26th International Conference on Coordination Models and Languages . vol. 14676 , Springer , pp. 149-158 , 26th International Conference on Coordination Models and Languages , Groningen , Netherlands , 17/06/2024 . https://doi.org/10.1007/978-3-031-62697-5_9","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05009682v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05009682","pdf_url":null,"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":"26th International Conference on Coordination Models and Languages (COORDINATION), Jun 2024, Groningen, Netherlands. pp.149-158, ⟨10.1007/978-3-031-62697-5_9⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5955941973","display_name":null,"funder_award_id":"EP/T006544/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W30305552","https://openalex.org/W1149872217","https://openalex.org/W1489787855","https://openalex.org/W1511544530","https://openalex.org/W1516314631","https://openalex.org/W1553136405","https://openalex.org/W1599039905","https://openalex.org/W1762966635","https://openalex.org/W2008838944","https://openalex.org/W2014364142","https://openalex.org/W2021026222","https://openalex.org/W2033339909","https://openalex.org/W2060992753","https://openalex.org/W2074592053","https://openalex.org/W2080718905","https://openalex.org/W2088962847","https://openalex.org/W2095631859","https://openalex.org/W2104680392","https://openalex.org/W2114877704","https://openalex.org/W2133867632","https://openalex.org/W2166944982","https://openalex.org/W2231754610","https://openalex.org/W2325347394","https://openalex.org/W2530227870","https://openalex.org/W2587072391","https://openalex.org/W2600366389","https://openalex.org/W2792493843","https://openalex.org/W2899726318","https://openalex.org/W2912466821","https://openalex.org/W2915033835","https://openalex.org/W2918427073","https://openalex.org/W2966706555","https://openalex.org/W2975389957","https://openalex.org/W2995075587","https://openalex.org/W2995917016","https://openalex.org/W3002954820","https://openalex.org/W3014307583","https://openalex.org/W3016508576","https://openalex.org/W3081329131","https://openalex.org/W3086025821","https://openalex.org/W3101641635","https://openalex.org/W3103377061","https://openalex.org/W3104312160","https://openalex.org/W3124307800","https://openalex.org/W3173862082","https://openalex.org/W3175560211","https://openalex.org/W3177385648","https://openalex.org/W3213158637","https://openalex.org/W4206553077","https://openalex.org/W4232327061","https://openalex.org/W4364378429","https://openalex.org/W4387674063","https://openalex.org/W6966304203"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2378211422","https://openalex.org/W4321353415","https://openalex.org/W2745001401","https://openalex.org/W2130974462","https://openalex.org/W2028665553","https://openalex.org/W2086519370","https://openalex.org/W4246352526"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}