{"id":"https://openalex.org/W2329205359","doi":"https://doi.org/10.1145/2873052","title":"Foundations of Session Types and Behavioural Contracts","display_name":"Foundations of Session Types and Behavioural Contracts","publication_year":2016,"publication_date":"2016-04-05","ids":{"openalex":"https://openalex.org/W2329205359","doi":"https://doi.org/10.1145/2873052","mag":"2329205359"},"language":"en","primary_location":{"id":"doi:10.1145/2873052","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2873052","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2873052&type=pdf","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2873052&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060535239","display_name":"Hans H\u00fcttel","orcid":"https://orcid.org/0000-0002-4603-5407"},"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"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Hans H\u00fcttel","raw_affiliation_strings":["Aalborg University, Aalborg \u00d8, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg \u00d8, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030878839","display_name":"Ivan Lanese","orcid":"https://orcid.org/0000-0003-2527-9995"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ivan Lanese","raw_affiliation_strings":["University of Bologna/INRIA, Bologna, Italy","Foundations of Component-based Ubiquitous Systems","Department of Computer Science and Engineering [Bologna]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna/INRIA, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science and Engineering [Bologna]","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016342119","display_name":"Vasco T. Vasconcelos","orcid":"https://orcid.org/0000-0002-9539-8861"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Vasco T. Vasconcelos","raw_affiliation_strings":["University of Lisbon, Lisbon, Portugal","Universidade de Lisboa = University of Lisbon"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"Universidade de Lisboa = University of Lisbon","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019928703","display_name":"Lu\u0131\u0301s Caires","orcid":"https://orcid.org/0000-0002-3215-6734"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Lu\u00eds Caires","raw_affiliation_strings":["Universidade Nova de Lisboa, Caparica, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110633704","display_name":"Marco Carbone","orcid":null},"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":"Marco Carbone","raw_affiliation_strings":["ITU Copenhagen","IT University of Copenhagen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITU Copenhagen","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"IT University of Copenhagen","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111940804","display_name":"Pierre-Malo Deni\u00e9lou","orcid":null},"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":"Pierre-Malo Deni\u00e9lou","raw_affiliation_strings":["Royal Holloway, University of London, Egham Hill, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Royal Holloway, University of London, Egham Hill, United Kingdom","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037129874","display_name":"Dimitris Mostrous","orcid":"https://orcid.org/0000-0002-8716-1215"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Dimitris Mostrous","raw_affiliation_strings":["University of Lisbon, Lisbon, Portugal","Universidade de Lisboa = University of Lisbon"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Lisbon, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"Universidade de Lisboa = University of Lisbon","institution_ids":["https://openalex.org/I141596103"]}]},{"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/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Padovani","raw_affiliation_strings":["University of Turin, Torino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Turin, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061342406","display_name":"Ant\u00f3nio Ravara","orcid":"https://orcid.org/0000-0001-8074-0380"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Ant\u00f3nio Ravara","raw_affiliation_strings":["Universidade Nova de Lisboa, Caparica, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Nova de Lisboa, Caparica, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056498850","display_name":"Emilio Tuosto","orcid":"https://orcid.org/0000-0002-7032-3281"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Emilio Tuosto","raw_affiliation_strings":["University of Leicester, Leicester, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Leicester, Leicester, United Kingdom","institution_ids":["https://openalex.org/I153648349"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033060264","display_name":"Hugo Torres Vieira","orcid":"https://orcid.org/0000-0001-7461-6156"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Hugo Torres Vieira","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110321470","display_name":"Gianluigi Zavattaro","orcid":null},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianluigi Zavattaro","raw_affiliation_strings":["University of Bologna/INRIA, Bologna, Italy","Foundations of Component-based Ubiquitous Systems","Department of Computer Science and Engineering [Bologna]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bologna/INRIA, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Foundations of Component-based Ubiquitous Systems","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science and Engineering [Bologna]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":46.0154,"has_fulltext":true,"cited_by_count":212,"citation_normalized_percentile":{"value":0.9978052,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"49","issue":"1","first_page":"1","last_page":"36"},"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.9994999766349792,"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.9994999766349792,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983999729156494,"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.9937000274658203,"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/computer-science","display_name":"Computer science","score":0.873772382736206},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.8482803702354431},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7657511234283447},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.48759880661964417},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4583430290222168},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4353153705596924},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38513097167015076},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.34793752431869507},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3203356862068176},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.10696640610694885}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.873772382736206},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.8482803702354431},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7657511234283447},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.48759880661964417},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4583430290222168},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4353153705596924},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38513097167015076},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.34793752431869507},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3203356862068176},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.10696640610694885},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1145/2873052","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2873052","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2873052&type=pdf","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/00497cf7-6363-4287-8c78-1294747afa18","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/00497cf7-6363-4287-8c78-1294747afa18","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Huttel, H, Lanese, I, Vasconcelos, V, Caires, L, Carbone, M, Danielou, P-M, Mostrous, D, Padovani, L, Rabara, A, Tuosto, E, Vieira, H T & Zavattaro, G 2016, 'Foundations of Session Types and Behavioural Contracts', A C M Computing Surveys, vol. 49, no. 1, 3, pp. 1. < http://dx.doi.org/10.1145/2873052 >","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:eprints.imtlucca.it:3695","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401340","display_name":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I127077003","host_organization_name":"IMT School for Advanced Studies Lucca","host_organization_lineage":["https://openalex.org/I127077003"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:HAL:hal-01336707v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01336707","pdf_url":"https://hal.science/hal-01336707/document","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Computing Surveys, 2016, 49 (1), &#x27E8;10.1145/2873052&#x27E9;","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/cc6e824e-cedb-404e-81eb-209f09ecce4b","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/cc6e824e-cedb-404e-81eb-209f09ecce4b","pdf_url":"https://vbn.aau.dk/ws/files/269885053/a3_huttel.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Huttel, H, Lanese, I, T. Vasconcelos, V, Caires , L, Carbone, M, Denielou, P-M, Mostrous, D, Padovani, L, Ravara, A, Tuosto, E, Torres Vieira, H & Zavattaro, G 2016, 'Foundations of Session Types and Behavioural Contracts', A C M Computing Surveys, vol. 49, no. 1, 3. https://doi.org/10.1145/2873052","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:cris.unibo.it:11585/567439","is_oa":true,"landing_page_url":"https://dl.acm.org/doi/10.1145/2873052","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:figshare.com:article/10122125","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Foundations_of_session_types_and_behavioural_contracts/10122125","pdf_url":null,"source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:iris.unito.it:2318/1610220","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/1610220","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:lra.le.ac.uk:2381/38761","is_oa":false,"landing_page_url":"http://hdl.handle.net/2381/38761","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/467858","is_oa":false,"landing_page_url":"http://portal.acm.org/browse_dl.cfm?linked=1&part=journal&idx=J204&coll=GUIDE&dl=ACM&CFID=578105357&CFTOKEN=16448770","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":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/2873052","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2873052","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2873052&type=pdf","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Computing Surveys","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4158184198","display_name":null,"funder_award_id":"IC1201 BETTY","funder_id":"https://openalex.org/F4320320366","funder_display_name":"European Cooperation in Science and Technology"},{"id":"https://openalex.org/G6128949145","display_name":null,"funder_award_id":"UID/CEC/00408/2013","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8506803455","display_name":null,"funder_award_id":"UID/CEC/00408/2013","funder_id":"https://openalex.org/F4320335059","funder_display_name":"Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa"}],"funders":[{"id":"https://openalex.org/F4320320366","display_name":"European Cooperation in Science and Technology","ror":"https://ror.org/01bstzn19"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"},{"id":"https://openalex.org/F4320335059","display_name":"Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2329205359.pdf","grobid_xml":"https://content.openalex.org/works/W2329205359.grobid-xml"},"referenced_works_count":185,"referenced_works":["https://openalex.org/W4861723","https://openalex.org/W9800253","https://openalex.org/W86813616","https://openalex.org/W110997576","https://openalex.org/W120480712","https://openalex.org/W127832157","https://openalex.org/W148244906","https://openalex.org/W150683364","https://openalex.org/W222080544","https://openalex.org/W241121309","https://openalex.org/W1261671639","https://openalex.org/W1418386931","https://openalex.org/W1484534662","https://openalex.org/W1484991168","https://openalex.org/W1492594903","https://openalex.org/W1492982544","https://openalex.org/W1496045554","https://openalex.org/W1497524189","https://openalex.org/W1497860901","https://openalex.org/W1500650374","https://openalex.org/W1502726770","https://openalex.org/W1504348160","https://openalex.org/W1509279433","https://openalex.org/W1510530859","https://openalex.org/W1511544530","https://openalex.org/W1511982475","https://openalex.org/W1522271721","https://openalex.org/W1523525039","https://openalex.org/W1524870711","https://openalex.org/W1525200349","https://openalex.org/W1527058108","https://openalex.org/W1532542548","https://openalex.org/W1534772435","https://openalex.org/W1537467263","https://openalex.org/W1544276271","https://openalex.org/W1544633123","https://openalex.org/W1549121707","https://openalex.org/W1552587784","https://openalex.org/W1553894716","https://openalex.org/W1555792332","https://openalex.org/W1562729841","https://openalex.org/W1564466854","https://openalex.org/W1572319298","https://openalex.org/W1577894979","https://openalex.org/W1579463431","https://openalex.org/W1580304509","https://openalex.org/W1585111997","https://openalex.org/W1586303503","https://openalex.org/W1587978888","https://openalex.org/W1596502640","https://openalex.org/W1599340713","https://openalex.org/W1602067946","https://openalex.org/W1604115700","https://openalex.org/W1604965014","https://openalex.org/W1606143923","https://openalex.org/W1607623316","https://openalex.org/W1611165480","https://openalex.org/W1663174014","https://openalex.org/W1750503476","https://openalex.org/W1775146113","https://openalex.org/W1784055113","https://openalex.org/W1796713582","https://openalex.org/W1798573313","https://openalex.org/W1858844821","https://openalex.org/W1859118644","https://openalex.org/W1859947016","https://openalex.org/W1882056807","https://openalex.org/W1886109164","https://openalex.org/W1906944391","https://openalex.org/W1941373452","https://openalex.org/W1965718940","https://openalex.org/W1969755665","https://openalex.org/W1970227944","https://openalex.org/W1971164151","https://openalex.org/W1972836343","https://openalex.org/W1976385845","https://openalex.org/W1984973570","https://openalex.org/W1990218893","https://openalex.org/W1990370351","https://openalex.org/W1990799174","https://openalex.org/W1991069274","https://openalex.org/W1992832386","https://openalex.org/W1995008247","https://openalex.org/W1995469872","https://openalex.org/W2001299902","https://openalex.org/W2002763600","https://openalex.org/W2006005127","https://openalex.org/W2008781243","https://openalex.org/W2015163350","https://openalex.org/W2019018390","https://openalex.org/W2021199294","https://openalex.org/W2022290763","https://openalex.org/W2023489866","https://openalex.org/W2025260761","https://openalex.org/W2025962757","https://openalex.org/W2028016184","https://openalex.org/W2032399648","https://openalex.org/W2034870916","https://openalex.org/W2039219985","https://openalex.org/W2040105559","https://openalex.org/W2042360145","https://openalex.org/W2042668508","https://openalex.org/W2044590882","https://openalex.org/W2046488919","https://openalex.org/W2047084525","https://openalex.org/W2048298926","https://openalex.org/W2050084141","https://openalex.org/W2052853468","https://openalex.org/W2055169409","https://openalex.org/W2059243982","https://openalex.org/W2059524947","https://openalex.org/W2062339792","https://openalex.org/W2062792908","https://openalex.org/W2064566601","https://openalex.org/W2065261520","https://openalex.org/W2065772939","https://openalex.org/W2071395587","https://openalex.org/W2075221622","https://openalex.org/W2075426808","https://openalex.org/W2080718905","https://openalex.org/W2081551198","https://openalex.org/W2084941942","https://openalex.org/W2085243417","https://openalex.org/W2088674899","https://openalex.org/W2088962847","https://openalex.org/W2089354154","https://openalex.org/W2092120865","https://openalex.org/W2092352752","https://openalex.org/W2094694891","https://openalex.org/W2098504640","https://openalex.org/W2098996654","https://openalex.org/W2101085206","https://openalex.org/W2104477831","https://openalex.org/W2105716349","https://openalex.org/W2108416191","https://openalex.org/W2114877704","https://openalex.org/W2116745084","https://openalex.org/W2119028634","https://openalex.org/W2119992090","https://openalex.org/W2120854784","https://openalex.org/W2121663222","https://openalex.org/W2124126159","https://openalex.org/W2128280268","https://openalex.org/W2128932399","https://openalex.org/W2129381550","https://openalex.org/W2129843408","https://openalex.org/W2131062488","https://openalex.org/W2134918221","https://openalex.org/W2136170403","https://openalex.org/W2141708104","https://openalex.org/W2142988323","https://openalex.org/W2148025199","https://openalex.org/W2148896402","https://openalex.org/W2148901852","https://openalex.org/W2153557668","https://openalex.org/W2157144873","https://openalex.org/W2160628618","https://openalex.org/W2164019288","https://openalex.org/W2164834097","https://openalex.org/W2166944884","https://openalex.org/W2169668980","https://openalex.org/W2170626879","https://openalex.org/W2171043779","https://openalex.org/W2176300081","https://openalex.org/W2293287097","https://openalex.org/W2316732500","https://openalex.org/W2342200509","https://openalex.org/W2398664406","https://openalex.org/W2570925645","https://openalex.org/W2626089800","https://openalex.org/W2911865844","https://openalex.org/W2913931721","https://openalex.org/W2915033835","https://openalex.org/W2964256335","https://openalex.org/W3005030212","https://openalex.org/W3005258739","https://openalex.org/W3005614952","https://openalex.org/W3008328790","https://openalex.org/W3023060607","https://openalex.org/W3032926401","https://openalex.org/W3037395439","https://openalex.org/W3106048870","https://openalex.org/W3151502198","https://openalex.org/W4248304257","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4230197055","https://openalex.org/W4296749040","https://openalex.org/W4404605447","https://openalex.org/W621808327","https://openalex.org/W644007644","https://openalex.org/W2497198634","https://openalex.org/W3012257603","https://openalex.org/W1586784764","https://openalex.org/W4292264782","https://openalex.org/W1559289099"],"abstract_inverted_index":{"Behavioural":[0],"type":[1,28,41],"systems,":[2],"usually":[3],"associated":[4],"to":[5,21,48],"concurrent":[6],"or":[7],"distributed":[8],"computations,":[9],"encompass":[10],"concepts":[11],"such":[12],"as":[13],"interfaces,":[14],"communication":[15],"protocols,":[16],"and":[17,71],"contracts,":[18],"in":[19],"addition":[20],"the":[22,52,77,81],"traditional":[23],"input/output":[24],"operations.":[25],"The":[26],"behavioural":[27,64,72],"of":[29,37,63,68,80],"a":[30],"software":[31],"component":[32,53],"specifies":[33],"its":[34],"expected":[35],"patterns":[36],"interaction":[38],"using":[39],"expressive":[40],"languages,":[42],"so":[43],"types":[44,65,70],"can":[45],"be":[46],"used":[47],"determine":[49],"automatically":[50],"whether":[51],"interacts":[54],"correctly":[55],"with":[56],"other":[57],"components.":[58],"Two":[59],"related":[60],"important":[61],"notions":[62],"are":[66],"those":[67],"session":[69],"contracts.":[73],"This":[74],"article":[75],"surveys":[76],"main":[78],"accomplishments":[79],"last":[82],"20":[83],"years":[84],"within":[85],"these":[86],"two":[87],"approaches.":[88]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":18},{"year":2023,"cited_by_count":18},{"year":2022,"cited_by_count":21},{"year":2021,"cited_by_count":21},{"year":2020,"cited_by_count":33},{"year":2019,"cited_by_count":34},{"year":2018,"cited_by_count":19},{"year":2017,"cited_by_count":19},{"year":2016,"cited_by_count":12}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}