{"id":"https://openalex.org/W3208692159","doi":"https://doi.org/10.1016/j.jlamp.2021.100731","title":"Session-typed concurrent contracts","display_name":"Session-typed concurrent contracts","publication_year":2021,"publication_date":"2021-10-22","ids":{"openalex":"https://openalex.org/W3208692159","doi":"https://doi.org/10.1016/j.jlamp.2021.100731","mag":"3208692159"},"language":"en","primary_location":{"id":"doi:10.1016/j.jlamp.2021.100731","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jlamp.2021.100731","pdf_url":null,"source":{"id":"https://openalex.org/S4210169521","display_name":"Journal of Logical and Algebraic Methods in Programming","issn_l":"2352-2208","issn":["2352-2208","2352-2216"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logical and Algebraic Methods in Programming","raw_type":"journal-article"},"type":"article","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/A5007114870","display_name":"Hannah Gommerstadt","orcid":null},"institutions":[{"id":"https://openalex.org/I126820664","display_name":"Vassar College","ror":"https://ror.org/022x6qg61","country_code":"US","type":"education","lineage":["https://openalex.org/I126820664"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Hannah Gommerstadt","raw_affiliation_strings":["Vassar College, 124 Raymond Avenue, Poughkeepsie, NY, 12604, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vassar College, 124 Raymond Avenue, Poughkeepsie, NY, 12604, USA","institution_ids":["https://openalex.org/I126820664"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087946116","display_name":"Limin Jia","orcid":"https://orcid.org/0000-0002-8160-349X"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Limin Jia","raw_affiliation_strings":["Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, 15213, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, 15213, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021476649","display_name":"Frank Pfenning","orcid":"https://orcid.org/0000-0002-8279-5817"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Frank Pfenning","raw_affiliation_strings":["Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, 15213, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, 15213, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5007114870"],"corresponding_institution_ids":["https://openalex.org/I126820664"],"apc_list":{"value":2810,"currency":"USD","value_usd":2810},"apc_paid":null,"fwci":0.8189,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78343419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"124","issue":null,"first_page":"100731","last_page":"100731"},"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.9998000264167786,"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.9998000264167786,"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.9983999729156494,"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.9980000257492065,"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/concurrency","display_name":"Concurrency","score":0.8660094738006592},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8112998008728027},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.7540601491928101},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6240065097808838},{"id":"https://openalex.org/keywords/normalization-property","display_name":"Normalization property","score":0.5413150787353516},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.45613178610801697},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.12809017300605774}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8660094738006592},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8112998008728027},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7540601491928101},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6240065097808838},{"id":"https://openalex.org/C159333733","wikidata":"https://www.wikidata.org/wiki/Q7051809","display_name":"Normalization property","level":2,"score":0.5413150787353516},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.45613178610801697},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.12809017300605774},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.jlamp.2021.100731","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.jlamp.2021.100731","pdf_url":null,"source":{"id":"https://openalex.org/S4210169521","display_name":"Journal of Logical and Algebraic Methods in Programming","issn_l":"2352-2208","issn":["2352-2208","2352-2216"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logical and Algebraic Methods in Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5246930662","display_name":null,"funder_award_id":"NS1423168","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320310207","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W69013600","https://openalex.org/W147632993","https://openalex.org/W158940444","https://openalex.org/W776882319","https://openalex.org/W882172233","https://openalex.org/W1537467263","https://openalex.org/W1607623316","https://openalex.org/W1611165480","https://openalex.org/W1934896223","https://openalex.org/W1941373452","https://openalex.org/W1980280740","https://openalex.org/W1998223027","https://openalex.org/W1999161312","https://openalex.org/W2025260761","https://openalex.org/W2040615980","https://openalex.org/W2044710350","https://openalex.org/W2086165437","https://openalex.org/W2088962847","https://openalex.org/W2107399697","https://openalex.org/W2128303158","https://openalex.org/W2128496924","https://openalex.org/W2150998213","https://openalex.org/W2218092420","https://openalex.org/W2264604278","https://openalex.org/W2294998241","https://openalex.org/W2506597437","https://openalex.org/W2508649175","https://openalex.org/W2618144529","https://openalex.org/W2705915567","https://openalex.org/W2736821074","https://openalex.org/W2752252621","https://openalex.org/W2753352514","https://openalex.org/W2792929034","https://openalex.org/W2797310167","https://openalex.org/W2911894833","https://openalex.org/W2912195676","https://openalex.org/W2914905948","https://openalex.org/W2995356440","https://openalex.org/W4213338968","https://openalex.org/W4241183255","https://openalex.org/W6602385167","https://openalex.org/W6606048601","https://openalex.org/W6606413619","https://openalex.org/W6622753538","https://openalex.org/W6632299569","https://openalex.org/W6636156531","https://openalex.org/W6636350037","https://openalex.org/W6640143436","https://openalex.org/W6640508620","https://openalex.org/W6660576435","https://openalex.org/W6661710584","https://openalex.org/W6679197003","https://openalex.org/W6679219785","https://openalex.org/W6682443028","https://openalex.org/W6688714758","https://openalex.org/W6693104654","https://openalex.org/W6697038032","https://openalex.org/W6725525348","https://openalex.org/W6750408081"],"related_works":["https://openalex.org/W1559627622","https://openalex.org/W4296749040","https://openalex.org/W4230197055","https://openalex.org/W621808327","https://openalex.org/W644007644","https://openalex.org/W3012257603","https://openalex.org/W3177475962","https://openalex.org/W4292264782","https://openalex.org/W4387686364","https://openalex.org/W4385970027"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}