{"id":"https://openalex.org/W3137147402","doi":"https://doi.org/10.1007/s00236-021-00395-w","title":"Session-based concurrency, declaratively","display_name":"Session-based concurrency, declaratively","publication_year":2021,"publication_date":"2021-03-18","ids":{"openalex":"https://openalex.org/W3137147402","doi":"https://doi.org/10.1007/s00236-021-00395-w","mag":"3137147402"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-021-00395-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-021-00395-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054499053","display_name":"Mauricio Cano","orcid":null},"institutions":[{"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":"Mauricio Cano","raw_affiliation_strings":["University of Groningen, Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087594010","display_name":"Hugo A. L\u00f3pez","orcid":"https://orcid.org/0000-0001-5162-7936"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Hugo A. L\u00f3pez","raw_affiliation_strings":["University of Copenhagen and DCR Solutions A/S, Copenhagen, Denmark"],"raw_orcid":"https://orcid.org/0000-0001-5162-7936","affiliations":[{"raw_affiliation_string":"University of Copenhagen and DCR Solutions A/S, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"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/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"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jorge A. P\u00e9rez","raw_affiliation_strings":["CWI, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1452-6180","affiliations":[{"raw_affiliation_string":"CWI, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021897565","display_name":"Camilo Rueda","orcid":null},"institutions":[{"id":"https://openalex.org/I233745408","display_name":"Pontificia Universidad Javeriana","ror":"https://ror.org/03etyjw28","country_code":"CO","type":"education","lineage":["https://openalex.org/I233745408"]}],"countries":["CO"],"is_corresponding":false,"raw_author_name":"Camilo Rueda","raw_affiliation_strings":["Pontificia Universidad Javeriana-Cali, Valle del Cauca, Colombia"],"raw_orcid":"https://orcid.org/0000-0001-8387-9644","affiliations":[{"raw_affiliation_string":"Pontificia Universidad Javeriana-Cali, Valle del Cauca, Colombia","institution_ids":["https://openalex.org/I233745408"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034548013"],"corresponding_institution_ids":["https://openalex.org/I1341640284"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.1399,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52539695,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"59","issue":"1","first_page":"1","last_page":"87"},"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.9990000128746033,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9972000122070312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8969588279724121},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8093211650848389},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.794798731803894},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.7680811285972595},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.553562343120575},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4943516254425049},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.437724232673645},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.43414077162742615},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.42094454169273376},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3438203036785126},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1645808219909668},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12948501110076904}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8969588279724121},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8093211650848389},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.794798731803894},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7680811285972595},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.553562343120575},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4943516254425049},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.437724232673645},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.43414077162742615},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.42094454169273376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3438203036785126},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1645808219909668},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12948501110076904},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s00236-021-00395-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-021-00395-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:pure.rug.nl:openaire/7f3841f9-25f4-409c-a6ca-4d2e127342f8","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/7f3841f9-25f4-409c-a6ca-4d2e127342f8","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cano , M, L\u00f3pez, H A, P\u00e9rez, J A & Rueda, C 2022, 'Session-based concurrency, declaratively', Acta informatica, vol. 59, pp. 1-87. https://doi.org/10.1007/s00236-021-00395-w","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:cwi.nl:30714","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/30714","pdf_url":"https://ir.cwi.nl/pub/30714/30714.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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Acta Informatica vol. 59, pp. 1-87","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/dcd0d645-da9b-438f-94fd-582c2da20208","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/dcd0d645-da9b-438f-94fd-582c2da20208","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"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":"Cano , M , Lopez , H A , Perez , J A & Rueda , C 2022 , ' Session-based concurrency, declaratively ' , Acta Informatica , vol. 59 , pp. 37\u2013123 . https://doi.org/10.1007/s00236-021-00395-w","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s00236-021-00395-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-021-00395-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1706644584","display_name":null,"funder_award_id":"778233 (BehAPI)","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"},{"id":"https://openalex.org/G2186378918","display_name":null,"funder_award_id":"778233","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4575211270","display_name":null,"funder_award_id":"Ecoknow.org (705000034A)","funder_id":"https://openalex.org/F4320313796","funder_display_name":"Innovationsfonden"},{"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"}],"funders":[{"id":"https://openalex.org/F4320309955","display_name":"Departamento Administrativo de Ciencia, Tecnolog\u00eda e Innovaci\u00f3n (COLCIENCIAS)","ror":"https://ror.org/048jthh02"},{"id":"https://openalex.org/F4320313796","display_name":"Innovationsfonden","ror":"https://ror.org/00daj4111"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3137147402.pdf","grobid_xml":"https://content.openalex.org/works/W3137147402.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W17321358","https://openalex.org/W91113134","https://openalex.org/W178228139","https://openalex.org/W608362078","https://openalex.org/W1491395861","https://openalex.org/W1539807509","https://openalex.org/W1557561422","https://openalex.org/W1573313194","https://openalex.org/W1579954634","https://openalex.org/W1601924595","https://openalex.org/W1611165480","https://openalex.org/W1673934254","https://openalex.org/W1784055113","https://openalex.org/W1983093418","https://openalex.org/W1989371806","https://openalex.org/W2013672985","https://openalex.org/W2019329654","https://openalex.org/W2020916002","https://openalex.org/W2021990421","https://openalex.org/W2029501365","https://openalex.org/W2037182411","https://openalex.org/W2041090148","https://openalex.org/W2048298926","https://openalex.org/W2060992753","https://openalex.org/W2076084917","https://openalex.org/W2080718905","https://openalex.org/W2095436832","https://openalex.org/W2098875896","https://openalex.org/W2115051564","https://openalex.org/W2128932399","https://openalex.org/W2133867632","https://openalex.org/W2156155209","https://openalex.org/W2167439758","https://openalex.org/W2219871211","https://openalex.org/W2619170518","https://openalex.org/W2911865844","https://openalex.org/W2925869698","https://openalex.org/W2963234380","https://openalex.org/W2973983584","https://openalex.org/W3012455722","https://openalex.org/W3014854834","https://openalex.org/W3100437011","https://openalex.org/W3100709767","https://openalex.org/W3104312160","https://openalex.org/W3105742868","https://openalex.org/W3123653660","https://openalex.org/W3139924328","https://openalex.org/W4205386752","https://openalex.org/W4206688049","https://openalex.org/W4230869467","https://openalex.org/W4238691767","https://openalex.org/W4249043884","https://openalex.org/W4301885396"],"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/W4361000813","https://openalex.org/W2066305403","https://openalex.org/W2062843058","https://openalex.org/W2028885955","https://openalex.org/W1733367267"],"abstract_inverted_index":{"Abstract":[0],"Session-based":[1],"concurrency":[2,84],"is":[3],"a":[4,57,80,107],"type-based":[5],"approach":[6],"to":[7,94],"the":[8,24,32,69,125,135],"analysis":[9],"of":[10,52,60,83,127,137],"message-passing":[11],"programs.":[12],"These":[13],"programs":[14],"may":[15],"be":[16,117],"specified":[17,119],"in":[18,134],"an":[19],"operational":[20,48,112],"or":[21],"declarative":[22,50,81,114],"style:":[23],"former":[25],"defines":[26,34],"how":[27],"interactions":[28],"are":[29],"properly":[30],"structured;":[31],"latter":[33],"governing":[35],"conditions":[36],"for":[37],"correct":[38,58],"interactions.":[39],"In":[40],"this":[41],"paper,":[42],"we":[43],"study":[44],"rigorous":[45],"relationships":[46],"between":[47],"and":[49,103,113,120,143],"models":[51],"session-based":[53],"concurrency.":[54],"We":[55,90,123],"develop":[56],"encoding":[59,98,133],"session":[61,92],"$$\\pi":[62],"$$":[63],"<mml:math":[64,77],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>\u03c0</mml:mi></mml:math>":[65],"-calculus":[66],"processes":[67],"into":[68],"linear":[70],"concurrent":[71],"constraint":[72],"calculus":[73],"(":[74],"$$\\texttt":[75],"{lcc}$$":[76],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>lcc</mml:mi></mml:math>":[78],"),":[79],"model":[82],"based":[85],"on":[86,110],"partial":[87],"information":[88],"(constraints).":[89],"exploit":[91],"types":[93],"ensure":[95],"that":[96,104],"our":[97,128,132],"satisfies":[99],"precise":[100],"correctness":[101],"properties":[102],"it":[105],"offers":[106],"sound":[108],"basis":[109],"which":[111],"requirements":[115],"can":[116],"jointly":[118],"reasoned":[121],"about.":[122],"demonstrate":[124],"applicability":[126],"results":[129],"by":[130],"using":[131],"specification":[136],"realistic":[138],"communication":[139],"patterns":[140],"with":[141],"time":[142],"contextual":[144],"information.":[145]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}