{"id":"https://openalex.org/W1509279433","doi":"https://doi.org/10.1007/978-3-642-37036-6_19","title":"Behavioral Polymorphism and Parametricity in Session-Based Communication","display_name":"Behavioral Polymorphism and Parametricity in Session-Based Communication","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1509279433","doi":"https://doi.org/10.1007/978-3-642-37036-6_19","mag":"1509279433"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-37036-6_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-37036-6_19","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":"conference-paper","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/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":["CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","CITI and Departamento de Inform\u00e1tica, FCT Universidade Nova de Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"CITI and Departamento de Inform\u00e1tica, FCT Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","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/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":"Jorge A. P\u00e9rez","raw_affiliation_strings":["CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","CITI and Departamento de Inform\u00e1tica, FCT Universidade Nova de Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"CITI and Departamento de Inform\u00e1tica, FCT Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021476649","display_name":"Frank Pfenning","orcid":"https://orcid.org/0000-0002-8279-5817"},"institutions":[{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["FR","US"],"is_corresponding":false,"raw_author_name":"Frank Pfenning","raw_affiliation_strings":["Computer Science Department, Carnegie Mellon University, USA","Computer Science Department, Carnegie-Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Computer Science Department, Carnegie-Mellon University","institution_ids":["https://openalex.org/I4210156583","https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039596448","display_name":"Bernardo Toninho","orcid":"https://orcid.org/0000-0002-0746-7514"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Bernardo Toninho","raw_affiliation_strings":["CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","Computer Science Department, Carnegie Mellon University, USA","CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal, Computer Science Department, Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"Computer Science Department, Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"CITI and Departamento de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, Portugal, Computer Science Department, Carnegie Mellon University","institution_ids":["https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.2626,"has_fulltext":false,"cited_by_count":68,"citation_normalized_percentile":{"value":0.96652609,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"330","last_page":"349"},"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"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.7975694537162781},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6181041598320007},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.4544416666030884},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4509326219558716},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4475765526294708},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.41091233491897583},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.24424013495445251}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7975694537162781},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6181041598320007},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.4544416666030884},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4509326219558716},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4475765526294708},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.41091233491897583},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.24424013495445251},{"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}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1007/978-3-642-37036-6_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-37036-6_19","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:publications/bcf7aef9-1771-47e3-8ee5-dead80f946c6","is_oa":false,"landing_page_url":"https://research.rug.nl/en/publications/bcf7aef9-1771-47e3-8ee5-dead80f946c6","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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:repository.cmu.edu:compsci-3699","is_oa":false,"landing_page_url":"http://repository.cmu.edu/compsci/2661","pdf_url":null,"source":{"id":"https://openalex.org/S7407050927","display_name":"KiltHub Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Department","raw_type":"text"},{"id":"pmh:doi:10.1184/r1/6603854","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Journal contribution"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.294.6775","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.6775","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/esop13b.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.348.2907","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.2907","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~btoninho/esop132.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.359.6733","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.6733","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-cgi.cs.cmu.edu./%7Efp/papers/psill12.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.940.154","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.940.154","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repository.cmu.edu/cgi/viewcontent.cgi?article%3D3699%26context%3Dcompsci","raw_type":"text"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/bcf7aef9-1771-47e3-8ee5-dead80f946c6","is_oa":false,"landing_page_url":"https://hdl.handle.net/11370/bcf7aef9-1771-47e3-8ee5-dead80f946c6","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W82946149","https://openalex.org/W119572049","https://openalex.org/W159715351","https://openalex.org/W326743114","https://openalex.org/W1507802114","https://openalex.org/W1543368493","https://openalex.org/W1595372275","https://openalex.org/W1607623316","https://openalex.org/W1746052841","https://openalex.org/W1760139041","https://openalex.org/W1784055113","https://openalex.org/W1821490864","https://openalex.org/W1886109164","https://openalex.org/W1941373452","https://openalex.org/W1972857373","https://openalex.org/W1987162626","https://openalex.org/W2008838944","https://openalex.org/W2011491369","https://openalex.org/W2015163350","https://openalex.org/W2025260761","https://openalex.org/W2036037932","https://openalex.org/W2065261520","https://openalex.org/W2082415475","https://openalex.org/W2088962847","https://openalex.org/W2121663222","https://openalex.org/W2128280268","https://openalex.org/W2140207165","https://openalex.org/W2153557668","https://openalex.org/W2164822567","https://openalex.org/W2169668980","https://openalex.org/W2211325406","https://openalex.org/W2261547225","https://openalex.org/W2604845086","https://openalex.org/W2796564118","https://openalex.org/W2913922927","https://openalex.org/W2955123331","https://openalex.org/W3005030212","https://openalex.org/W3101223982","https://openalex.org/W3145683465","https://openalex.org/W4248304257"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1604988569"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":10},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}