{"id":"https://openalex.org/W2085243417","doi":"https://doi.org/10.1145/2603088.2603116","title":"Deadlock and lock freedom in the linear \u03c0-calculus","display_name":"Deadlock and lock freedom in the linear \u03c0-calculus","publication_year":2014,"publication_date":"2014-07-14","ids":{"openalex":"https://openalex.org/W2085243417","doi":"https://doi.org/10.1145/2603088.2603116","mag":"2085243417"},"language":"en","primary_location":{"id":"doi:10.1145/2603088.2603116","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-00932356","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047694866","display_name":"Luca Padovani","orcid":"https://orcid.org/0000-0001-9097-1297"},"institutions":[{"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":"Luca Padovani","raw_affiliation_strings":["Universit\u00e0 di Torino, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Torino, Italy","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5047694866"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":null,"apc_paid":null,"fwci":10.5713,"has_fulltext":false,"cited_by_count":74,"citation_normalized_percentile":{"value":0.98313957,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"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.9997000098228455,"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.9997000098228455,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965000152587891,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9937000274658203,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.750298261642456},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.7159128189086914},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6468112468719482},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.5134652256965637},{"id":"https://openalex.org/keywords/degrees-of-freedom","display_name":"Degrees of freedom (physics and chemistry)","score":0.46262502670288086},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.45864301919937134},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.348397433757782},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2735058069229126},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.24920183420181274},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1848427951335907},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11385354399681091},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09963288903236389},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.09716108441352844}],"concepts":[{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.750298261642456},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.7159128189086914},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6468112468719482},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.5134652256965637},{"id":"https://openalex.org/C208081375","wikidata":"https://www.wikidata.org/wiki/Q274502","display_name":"Degrees of freedom (physics and chemistry)","level":2,"score":0.46262502670288086},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.45864301919937134},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.348397433757782},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2735058069229126},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.24920183420181274},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1848427951335907},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11385354399681091},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09963288903236389},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.09716108441352844},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2603088.2603116","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00932356v2","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00932356","pdf_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2014","raw_type":"Preprints, Working Papers, ..."},{"id":"pmh:oai:cris.unibo.it:11585/998418","is_oa":false,"landing_page_url":"https://hdl.handle.net/11585/998418","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":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:iris.unito.it:2318/153607","is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/153607","pdf_url":null,"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/conferenceObject"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/467896","is_oa":false,"landing_page_url":"https://hdl.handle.net/11581/467896","pdf_url":null,"source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"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"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00932356v2","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-00932356","pdf_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2014","raw_type":"Preprints, Working Papers, ..."},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8299999833106995}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W84711077","https://openalex.org/W207226074","https://openalex.org/W222080544","https://openalex.org/W1516360493","https://openalex.org/W1543368493","https://openalex.org/W1560340731","https://openalex.org/W1607623316","https://openalex.org/W1784055113","https://openalex.org/W1859118644","https://openalex.org/W1859947016","https://openalex.org/W1973576343","https://openalex.org/W2003314287","https://openalex.org/W2024735169","https://openalex.org/W2025970201","https://openalex.org/W2040008220","https://openalex.org/W2040105559","https://openalex.org/W2042360145","https://openalex.org/W2042668508","https://openalex.org/W2046488919","https://openalex.org/W2050084141","https://openalex.org/W2065772939","https://openalex.org/W2072572819","https://openalex.org/W2081551198","https://openalex.org/W2089354154","https://openalex.org/W2104028161","https://openalex.org/W2128280268","https://openalex.org/W2142988323","https://openalex.org/W2153557668","https://openalex.org/W2342200509","https://openalex.org/W2626089800","https://openalex.org/W2900034535","https://openalex.org/W2955123331","https://openalex.org/W3101223982","https://openalex.org/W3106048870","https://openalex.org/W3146949869","https://openalex.org/W4212983671","https://openalex.org/W4244012086","https://openalex.org/W6638855429"],"related_works":["https://openalex.org/W397120980","https://openalex.org/W2363983170","https://openalex.org/W1528537929","https://openalex.org/W2270181498","https://openalex.org/W3021060317","https://openalex.org/W2971368204","https://openalex.org/W2376330853","https://openalex.org/W4312978203","https://openalex.org/W4206642211","https://openalex.org/W2354003767"],"abstract_inverted_index":{"We":[0],"study":[1],"two":[2],"refinements":[3],"of":[4,14,27,34,42,57],"the":[5,55],"linear":[6,19,29],"\u03c0-calculus":[7],"that":[8,45,60],"ensure":[9],"deadlock":[10],"freedom":[11,23],"(the":[12,24],"absence":[13],"stable":[15],"states":[16],"with":[17,63],"pending":[18,28],"communications)":[20],"and":[21],"lock":[22],"eventual":[25],"completion":[26],"communications).":[30],"The":[31],"main":[32],"feature":[33],"both":[35],"type":[36],"systems":[37],"is":[38],"a":[39,50],"new":[40],"form":[41],"channel":[43],"polymorphism":[44],"affects":[46],"their":[47,58],"accuracy":[48],"in":[49],"significant":[51],"way:":[52],"they":[53],"are":[54],"first":[56],"kind":[59],"can":[61],"deal":[62],"recursive":[64],"processes":[65],"connected":[66],"by":[67],"cyclic":[68],"networks.":[69]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}