{"id":"https://openalex.org/W4404706262","doi":"https://doi.org/10.1007/978-3-031-77382-2_22","title":"Towards Quantum Multiparty Session Types","display_name":"Towards Quantum Multiparty Session Types","publication_year":2024,"publication_date":"2024-11-25","ids":{"openalex":"https://openalex.org/W4404706262","doi":"https://doi.org/10.1007/978-3-031-77382-2_22"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-77382-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-77382-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-77382-2_22.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-031-77382-2_22.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030878839","display_name":"Ivan Lanese","orcid":"https://orcid.org/0000-0003-2527-9995"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Ivan Lanese","raw_affiliation_strings":["OLAS Team, University of Bologna and INRIA, Bologna, Italy","OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)","UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)"],"raw_orcid":"https://orcid.org/0000-0003-2527-9995","affiliations":[{"raw_affiliation_string":"OLAS Team, University of Bologna and INRIA, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084450516","display_name":"Ugo Dal Lago","orcid":"https://orcid.org/0000-0001-9200-070X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Ugo Dal Lago","raw_affiliation_strings":["OLAS Team, University of Bologna and INRIA, Bologna, Italy","UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)","OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)"],"raw_orcid":"https://orcid.org/0000-0001-9200-070X","affiliations":[{"raw_affiliation_string":"OLAS Team, University of Bologna and INRIA, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070491904","display_name":"Vikraman Choudhury","orcid":"https://orcid.org/0000-0003-2030-8056"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Vikraman Choudhury","raw_affiliation_strings":["OLAS Team, University of Bologna and INRIA, Bologna, Italy","OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)","UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)"],"raw_orcid":"https://orcid.org/0000-0003-2030-8056","affiliations":[{"raw_affiliation_string":"OLAS Team, University of Bologna and INRIA, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"OLAS - Fondements op\u00e9rationnels, logiques et alg\u00e9briques des syst\u00e8mes logiciels (Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030878839","https://openalex.org/A5070491904","https://openalex.org/A5084450516"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.6887,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75135696,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"385","last_page":"403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9995999932289124,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9995999932289124,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9994999766349792,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"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.8272490501403809},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5713483095169067},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5239065885543823},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.49465176463127136},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4722275733947754},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4608113467693329},{"id":"https://openalex.org/keywords/quantum-information-science","display_name":"Quantum information science","score":0.4408392608165741},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.42374539375305176},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3961687684059143},{"id":"https://openalex.org/keywords/quantum-entanglement","display_name":"Quantum entanglement","score":0.3328932225704193},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12762361764907837},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.08236101269721985},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.0816301703453064},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0662631094455719}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8272490501403809},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5713483095169067},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5239065885543823},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.49465176463127136},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4722275733947754},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4608113467693329},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.4408392608165741},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.42374539375305176},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3961687684059143},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.3328932225704193},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12762361764907837},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.08236101269721985},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0816301703453064},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0662631094455719},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"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":3,"locations":[{"id":"doi:10.1007/978-3-031-77382-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-77382-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-77382-2_22.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:HAL:hal-04832740v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04832740v1/file/published.pdf","pdf_url":"https://inria.hal.science/hal-04832740/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"https://link.springer.com/book/10.1007/978-3-031-77382-2","raw_type":"Conference papers"},{"id":"pmh:oai:cris.unibo.it:11585/1001624","is_oa":true,"landing_page_url":"https://hdl.handle.net/11585/1001624","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-77382-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-77382-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-77382-2_22.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":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[{"id":"https://openalex.org/G1377922210","display_name":null,"funder_award_id":"ANR-23-CE25-0012","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3752830834","display_name":null,"funder_award_id":"CUP E53C23001670001","funder_id":"https://openalex.org/F4320311030","funder_display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\""},{"id":"https://openalex.org/G4772130973","display_name":null,"funder_award_id":"E53C23001670001","funder_id":"https://openalex.org/F4320334079","funder_display_name":"Gruppo Nazionale per il Calcolo Scientifico"},{"id":"https://openalex.org/G4945003250","display_name":null,"funder_award_id":"CUP E53C23001670001","funder_id":"https://openalex.org/F4320334079","funder_display_name":"Gruppo Nazionale per il Calcolo Scientifico"},{"id":"https://openalex.org/G5488169599","display_name":null,"funder_award_id":"E53C23001670001","funder_id":"https://openalex.org/F4320311030","funder_display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\""}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404706262.pdf","grobid_xml":"https://content.openalex.org/works/W4404706262.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W20138908","https://openalex.org/W1572916684","https://openalex.org/W1978553093","https://openalex.org/W2015163350","https://openalex.org/W2015179126","https://openalex.org/W2041922678","https://openalex.org/W2049471987","https://openalex.org/W2062854284","https://openalex.org/W2064622659","https://openalex.org/W2145862486","https://openalex.org/W2146187895","https://openalex.org/W2281978270","https://openalex.org/W2325347394","https://openalex.org/W2329205359","https://openalex.org/W2596262883","https://openalex.org/W2603624497","https://openalex.org/W2899726318","https://openalex.org/W2901382944","https://openalex.org/W2950993906","https://openalex.org/W2991831160","https://openalex.org/W2998679550","https://openalex.org/W3175598503","https://openalex.org/W3180186342","https://openalex.org/W4310480356","https://openalex.org/W4365133430","https://openalex.org/W4385951118","https://openalex.org/W4390605090","https://openalex.org/W4404706262"],"related_works":["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","https://openalex.org/W4292264782","https://openalex.org/W1559289099"],"abstract_inverted_index":{"Abstract":[0],"Multiparty":[1],"Session":[2],"Types":[3],"(MPSTs)":[4],"offer":[5],"a":[6,26,45,124],"structured":[7],"way":[8],"of":[9,38,57,77,87],"specifying":[10],"communication":[11,16,111],"protocols":[12,145],"and":[13,33,69,72,80,134,154],"guarantee":[14],"relevant":[15],"properties,":[17,112],"such":[18],"as":[19,103],"deadlock-freedom.":[20],"In":[21],"this":[22],"paper,":[23],"we":[24],"extend":[25],"minimal":[27],"MPST":[28],"system":[29,68],"with":[30],"quantum":[31,39,50,81,132,144],"data":[32],"operations,":[34],"enabling":[35],"the":[36,54,67,74,84,91,106,131,147],"specification":[37],"protocols.":[40],"Quantum":[41],"MPSTs":[42],"(QMPSTs)":[43],"provide":[44],"formal":[46],"notation":[47],"to":[48,117,141],"describe":[49],"protocols,":[51],"both":[52],"at":[53,73,127],"abstract":[55],"level":[56,76],"global":[58,107],"types,":[59],"describing":[60,83],"which":[61],"communications":[62],"can":[63],"take":[64],"place":[65],"in":[66,90],"their":[70],"dependencies,":[71],"concrete":[75],"local":[78],"types":[79],"processes,":[82],"expected":[85],"behavior":[86],"each":[88],"participant":[89],"protocol.":[92],"Type-checking":[93],"relates":[94],"these":[95],"two":[96],"levels":[97],"formally,":[98],"ensuring":[99],"that":[100,119],"processes":[101],"behave":[102],"prescribed":[104],"by":[105,123],"type.":[108],"Beyond":[109],"usual":[110],"QMPSTs":[113],"also":[114],"allow":[115],"us":[116],"prove":[118],"qubits":[120],"are":[121],"owned":[122],"single":[125],"process":[126],"any":[128],"time,":[129],"capturing":[130],"no-cloning":[133],"no-deleting":[135],"theorems.":[136],"We":[137],"use":[138],"our":[139],"approach":[140],"verify":[142],"four":[143],"from":[146],"literature,":[148],"respectively":[149],"Teleportation,":[150],"Secret":[151],"Sharing,":[152],"Bit-Commitment,":[153],"Key":[155],"Distribution.":[156]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}