{"id":"https://openalex.org/W2582675514","doi":"https://doi.org/10.23638/lmcs-13(3:15)2017","title":"Retractability, games and orchestrators for session contracts","display_name":"Retractability, games and orchestrators for session contracts","publication_year":2017,"publication_date":"2017-08-25","ids":{"openalex":"https://openalex.org/W2582675514","doi":"https://doi.org/10.23638/lmcs-13(3:15)2017","mag":"2582675514"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-13(3:15)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:15)2017","pdf_url":"https://lmcs.episciences.org/3880/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/3880/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040202788","display_name":"Franco Barbanera","orcid":"https://orcid.org/0000-0002-8039-1085"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Franco Barbanera","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5020561481","display_name":"Ugo de\u2019Liguoro","orcid":"https://orcid.org/0000-0003-4609-2783"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]},{"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":true,"raw_author_name":"Ugo de'Liguoro","raw_affiliation_strings":["Dipartimento di Matematica e Informatica , University of Catania Dipartimento di Informatica , University of Torino","Dipartimento di Informatica, University of Torino","Dipartimento di Matematica e Informatica, University of Catania"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica , University of Catania Dipartimento di Informatica , University of Torino","institution_ids":["https://openalex.org/I39063666"]},{"raw_affiliation_string":"Dipartimento di Informatica, University of Torino","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, University of Catania","institution_ids":["https://openalex.org/I39063666"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020561481"],"corresponding_institution_ids":["https://openalex.org/I39063666","https://openalex.org/I55143463"],"apc_list":null,"apc_paid":null,"fwci":0.2079,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61407072,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"Volume 13, Issue 3","issue":null,"first_page":null,"last_page":null},"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.9976000189781189,"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.9976000189781189,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9837999939918518,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9617000222206116,"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/session","display_name":"Session (web analytics)","score":0.7510017156600952},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.4753056466579437},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.35034650564193726},{"id":"https://openalex.org/keywords/advertising","display_name":"Advertising","score":0.24984347820281982}],"concepts":[{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.7510017156600952},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.4753056466579437},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.35034650564193726},{"id":"https://openalex.org/C112698675","wikidata":"https://www.wikidata.org/wiki/Q37038","display_name":"Advertising","level":1,"score":0.24984347820281982}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.23638/lmcs-13(3:15)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:15)2017","pdf_url":"https://lmcs.episciences.org/3880/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1701.06142","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1701.06142","pdf_url":"https://arxiv.org/pdf/1701.06142","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:iris.unito.it:2318/1763682","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/1763682","pdf_url":"http://hdl.handle.net/2318/1763682","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":"mag:2582675514","is_oa":true,"landing_page_url":"https://www.arxiv.org/pdf/1701.06142","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:doaj.org/article:e73c75ef27864c0aae2d0ec75644527a","is_oa":true,"landing_page_url":"https://doaj.org/article/e73c75ef27864c0aae2d0ec75644527a","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-13(3:15)2017","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-13(3:15)2017","pdf_url":"https://lmcs.episciences.org/3880/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4000000059604645,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G7899525440","display_name":null,"funder_award_id":"FIR 1B8C1","funder_id":"https://openalex.org/F4320322690","funder_display_name":"Universit\u00e0 di Catania"},{"id":"https://openalex.org/G8536212527","display_name":null,"funder_award_id":"FORMS 2015","funder_id":"https://openalex.org/F4320324041","funder_display_name":"Universit\u00e0 degli Studi di Torino"}],"funders":[{"id":"https://openalex.org/F4320322690","display_name":"Universit\u00e0 di Catania","ror":"https://ror.org/03a64bh57"},{"id":"https://openalex.org/F4320324041","display_name":"Universit\u00e0 degli Studi di Torino","ror":"https://ror.org/048tbm396"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2582675514.pdf","grobid_xml":"https://content.openalex.org/works/W2582675514.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W972317","https://openalex.org/W1037217746","https://openalex.org/W1418386931","https://openalex.org/W1518067610","https://openalex.org/W1544276271","https://openalex.org/W2032399648","https://openalex.org/W2062339792","https://openalex.org/W2088962847","https://openalex.org/W2107067818","https://openalex.org/W2110777418","https://openalex.org/W2126641514","https://openalex.org/W2164834097","https://openalex.org/W2167928477","https://openalex.org/W2471332314","https://openalex.org/W2912931674","https://openalex.org/W2963941016"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","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"],"abstract_inverted_index":{"Session":[0],"contracts":[1,19,45,146],"is":[2,92,130,147],"a":[3,33,38,84,98,106,116,131],"formalism":[4],"enabling":[5],"to":[6,12,22,82,94,97,115],"investigate":[7],"client/server":[8,55],"interaction":[9,30],"protocols":[10],"and":[11,79,110,138],"interpret":[13],"session":[14,18],"types.":[15],"We":[16,71],"extend":[17],"in":[20,28,57,90],"order":[21],"represent":[23],"outputs":[24],"whose":[25],"actual":[26],"sending":[27],"an":[29,73,126],"depends":[31],"on":[32,37,101,119],"third":[34],"party":[35],"or":[36,49],"mutual":[39],"agreement":[40],"between":[41,135],"the":[42,62,69],"partners.":[43],"Such":[44],"are":[46],"hence":[47],"adaptable,":[48],"as":[50,112,114],"we":[51],"say":[52],""affectible".":[53],"In":[54],"systems,":[56],"general,":[58],"compliance":[59,99,117],"stands":[60],"for":[61,144],"satisfaction":[63],"of":[64,76,108,142],"all":[65],"client's":[66],"requests":[67],"by":[68,125],"server.":[70],"define":[72],"abstract":[74],"notion":[75],""affectible":[77],"compliance"":[78],"show":[80],"it":[81],"have":[83],"precise":[85],"three-party":[86],"game-theoretic":[87],"interpretation.":[88],"This":[89],"turn":[91],"shown":[93],"be":[95,123],"equivalent":[96],"based":[100,118],"interactions":[102,120],"that":[103],"can":[104,122],"undergo":[105],"sequence":[107],"failures":[109],"rollbacks,":[111],"well":[113],"which":[121],"mediated":[124],"orchestrator.":[127],"Besides,":[128],"there":[129],"one-to-one":[132],"effective":[133],"correspondence":[134],"winning":[136],"strategies":[137],"orchestrators.":[139],"The":[140],"relation":[141],"subcontract":[143],"affectible":[145],"also":[148],"investigated.":[149]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}