{"id":"https://openalex.org/W3151288834","doi":"https://doi.org/10.1007/978-3-030-72019-3_14","title":"Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols","display_name":"Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3151288834","doi":"https://doi.org/10.1007/978-3-030-72019-3_14","mag":"3151288834"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-72019-3_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72019-3_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_14.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_14.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079367852","display_name":"Alex C. Keizer","orcid":"https://orcid.org/0000-0002-8826-9607"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Alex C. Keizer","raw_affiliation_strings":["Master of Logic, ILLC, University of Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Master of Logic, ILLC, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009601101","display_name":"Henning Basold","orcid":"https://orcid.org/0000-0001-7610-8331"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Henning Basold","raw_affiliation_strings":["LIACS \u2013 Leiden University, Leiden, The Netherlands"],"affiliations":[{"raw_affiliation_string":"LIACS \u2013 Leiden University, Leiden, The Netherlands","institution_ids":["https://openalex.org/I121797337"]}]},{"author_position":"last","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/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jorge A. P\u00e9rez","raw_affiliation_strings":["CWI, Amsterdam, The Netherlands","University of Groningen, Groningen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"CWI, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5009601101"],"corresponding_institution_ids":["https://openalex.org/I121797337"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":3.2308,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.93121856,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"375","last_page":"403"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"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.9959999918937683,"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/coinduction","display_name":"Coinduction","score":0.9775243401527405},{"id":"https://openalex.org/keywords/coalgebra","display_name":"Coalgebra","score":0.7965726256370544},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7875943183898926},{"id":"https://openalex.org/keywords/subtyping","display_name":"Subtyping","score":0.7351967096328735},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6740586757659912},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.6504601240158081},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6238822937011719},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.6173893809318542},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6065050363540649},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.5076471567153931},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.49152788519859314},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4379054307937622},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4345118999481201},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.4343818724155426},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41870272159576416},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.2919723391532898},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15008196234703064},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13375848531723022},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12354952096939087},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.08770081400871277}],"concepts":[{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.9775243401527405},{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.7965726256370544},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7875943183898926},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.7351967096328735},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6740586757659912},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.6504601240158081},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6238822937011719},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.6173893809318542},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6065050363540649},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.5076471567153931},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.49152788519859314},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4379054307937622},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4345118999481201},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4343818724155426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41870272159576416},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2919723391532898},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15008196234703064},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13375848531723022},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12354952096939087},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.08770081400871277},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"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/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-72019-3_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72019-3_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_14.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:cwi.nl:30779","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/30779","pdf_url":"https://ir.cwi.nl/pub/30779/30779.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","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":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.rug.nl:publications/9a9565b3-3471-4d1c-b33f-6b0c9aec5f3a","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/9a9565b3-3471-4d1c-b33f-6b0c9aec5f3a","pdf_url":"https://pure.rug.nl/ws/files/166404213/80234867_6342367_paper_47_1.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Keizer, A C, Basold, H & P\u00e9rez, J A 2021, Session Coalgebras : A Coalgebraic View on Session Types and Communication Protocols. in N Yoshida (ed.), Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 \u2013 April 1, 2021, Proceedings. Lecture Notes in Computer Science, vol. 12648, Springer, Cham, pp. 375-403, European Symposium on Programming, 27/03/2021. https://doi.org/10.1007/978-3-030-72019-3_14","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pubmedcentral.nih.gov:7984539","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7984539","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"Programming Languages and Systems","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-72019-3_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72019-3_14","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72019-3_14.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G396005775","display_name":null,"funder_award_id":"016.Vidi.189.04","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4789459991","display_name":null,"funder_award_id":"016.Vidi.189.046","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G629491556","display_name":null,"funder_award_id":"(NWO)","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3151288834.pdf","grobid_xml":"https://content.openalex.org/works/W3151288834.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W169793935","https://openalex.org/W1497524189","https://openalex.org/W1509279433","https://openalex.org/W1539196615","https://openalex.org/W1544276271","https://openalex.org/W1560340731","https://openalex.org/W1596404209","https://openalex.org/W1673934254","https://openalex.org/W1784055113","https://openalex.org/W1941373452","https://openalex.org/W2008838944","https://openalex.org/W2032399648","https://openalex.org/W2040105559","https://openalex.org/W2044590882","https://openalex.org/W2046213250","https://openalex.org/W2046488919","https://openalex.org/W2077397316","https://openalex.org/W2080718905","https://openalex.org/W2085243417","https://openalex.org/W2088962847","https://openalex.org/W2094694891","https://openalex.org/W2098996654","https://openalex.org/W2119992090","https://openalex.org/W2123691799","https://openalex.org/W2128932399","https://openalex.org/W2129064963","https://openalex.org/W2257276732","https://openalex.org/W2293287097","https://openalex.org/W2508649175","https://openalex.org/W2517371102","https://openalex.org/W2753352514","https://openalex.org/W2933941175","https://openalex.org/W2989282173","https://openalex.org/W3014307583","https://openalex.org/W3100437011","https://openalex.org/W3101516173","https://openalex.org/W3103377061","https://openalex.org/W4233294560"],"related_works":["https://openalex.org/W2046125821","https://openalex.org/W2058610334","https://openalex.org/W1886401053","https://openalex.org/W2017706948","https://openalex.org/W2095136535","https://openalex.org/W2113619131","https://openalex.org/W2107354844","https://openalex.org/W1608166830","https://openalex.org/W2583938420","https://openalex.org/W1550049051"],"abstract_inverted_index":{"Abstract":[0],"Compositional":[1],"methods":[2],"are":[3,74],"central":[4],"to":[5,66,89,139],"the":[6,26,29,71,159,186,198],"development":[7],"and":[8,34,122,183,188],"verification":[9],"of":[10,28,98,107,112,127,161],"software":[11],"systems.":[12,101],"They":[13],"allow":[14],"breaking":[15],"down":[16],"large":[17],"systems":[18,43,56],"into":[19],"smaller":[20],"components,":[21],"while":[22],"enabling":[23],"reasoning":[24],"about":[25],"behaviour":[27],"composed":[30],"system.":[31],"For":[32],"concurrent":[33],"communicating":[35],"systems,":[36],"compositional":[37],"techniques":[38],"based":[39],"on":[40,85,177],"behavioural":[41,99],"type":[42,55,100,119,144,181,189],"have":[44],"received":[45],"much":[46],"attention.":[47],"By":[48],"abstracting":[49],"communication":[50],"protocols":[51],"as":[52,110,166],"types,":[53],"these":[54],"can":[57],"statically":[58],"check":[59],"that":[60,185],"programs":[61],"interact":[62],"with":[63,146,197],"channels":[64],"according":[65],"a":[67,77,94,104,115,142,162,174],"certain":[68,78],"protocol,":[69],"whether":[70],"intended":[72],"messages":[73],"exchanged":[75],"in":[76,125,157],"order.":[79],"In":[80,131],"this":[81,133],"paper,":[82],"we":[83,117,172],"put":[84],"our":[86,193],"coalgebraic":[87,194],"spectacles":[88],"investigate":[90],"session":[91,180],"types":[92],",":[93],"widely":[95],"studied":[96],"class":[97],"We":[102],"provide":[103],"syntax-free":[105],"description":[106],"session-based":[108],"concurrency":[109],"states":[111,160],"coalgebras.":[113],"As":[114],"result,":[116],"rediscover":[118],"equivalence,":[120],"duality,":[121],"subtyping":[123,147],"relations":[124,187],"terms":[126],"canonical":[128],"coinductive":[129,134],"presentations.":[130],"turn,":[132],"presentation":[135],"makes":[136],"it":[137],"possible":[138],"elegantly":[140],"derive":[141],"decidable":[143],"system":[145,190],"for":[148],"$$\\pi":[149],"$$":[150],"<mml:math":[151],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[152],"<mml:mi>\u03c0</mml:mi>":[153],"</mml:math>":[154],"-calculus":[155],"processes,":[156],"which":[158],"coalgebra":[163,175],"will":[164],"serve":[165],"channel":[167],"protocols.":[168],"Going":[169],"full":[170],"circle,":[171],"exhibit":[173],"structure":[176],"an":[178],"existing":[179,199],"system,":[182],"show":[184],"resulting":[191],"from":[192],"perspective":[195],"agree":[196],"ones.":[200]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}