{"id":"https://openalex.org/W2139782069","doi":"https://doi.org/10.1093/logcom/exs022","title":"Uniqueness typing for resource management in message-passing concurrency","display_name":"Uniqueness typing for resource management in message-passing concurrency","publication_year":2012,"publication_date":"2012-06-06","ids":{"openalex":"https://openalex.org/W2139782069","doi":"https://doi.org/10.1093/logcom/exs022","mag":"2139782069"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exs022","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exs022","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2262/66926","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109360864","display_name":"Edna O. DeVries","orcid":null},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"E. DeVries","raw_affiliation_strings":["Computer Science, Department of Trinity College Dublin, College Green, Dublin 2 Ireland. E-mail:"],"affiliations":[{"raw_affiliation_string":"Computer Science, Department of Trinity College Dublin, College Green, Dublin 2 Ireland. E-mail:","institution_ids":["https://openalex.org/I205274468"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077349456","display_name":"Adrian Francalanza","orcid":"https://orcid.org/0000-0003-3829-7391"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"A. Francalanza","raw_affiliation_strings":["Information and Communication Technology, University of Malta, MSD 2080, Malta. E-mail:"],"affiliations":[{"raw_affiliation_string":"Information and Communication Technology, University of Malta, MSD 2080, Malta. E-mail:","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036035088","display_name":"Matthew Hennessy","orcid":null},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"M. Hennessy","raw_affiliation_strings":["Department of Computer Science, Trinity College Dublin, College Green, Dublin 2, Ireland. E-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Trinity College Dublin, College Green, Dublin 2, Ireland. E-mail:","institution_ids":["https://openalex.org/I205274468"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109360864"],"corresponding_institution_ids":["https://openalex.org/I205274468"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":3.0949,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.92081194,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"24","issue":"3","first_page":"531","last_page":"556"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9995999932289124,"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.7680768966674805},{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.5268993377685547},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5207793116569519},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.42921021580696106},{"id":"https://openalex.org/keywords/media-studies","display_name":"Media studies","score":0.3572164475917816},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.32411402463912964},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.25274139642715454},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.16603541374206543},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.14049777388572693},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0860264003276825}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7680768966674805},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.5268993377685547},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5207793116569519},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.42921021580696106},{"id":"https://openalex.org/C29595303","wikidata":"https://www.wikidata.org/wiki/Q165650","display_name":"Media studies","level":1,"score":0.3572164475917816},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.32411402463912964},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.25274139642715454},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.16603541374206543},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.14049777388572693},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0860264003276825}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1093/logcom/exs022","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exs022","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:http://www.rian.ie/93063/","is_oa":true,"landing_page_url":"http://hdl.handle.net/2262/66926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115570527","host_organization_name":"Dublin Institute of Technology","host_organization_lineage":["https://openalex.org/I115570527"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Edsko de Vries and Adrian Francalanza and Matthew Hennessy.,  Uniqueness Typing for Resource Management in Message-Passing Concurrency.,  Journal of Logic and Computation, 24, 3, 2012, 531-556.","raw_type":"Journal article"},{"id":"pmh:http://www.rian.ie/93212/","is_oa":true,"landing_page_url":"http://hdl.handle.net/2262/53125","pdf_url":null,"source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115570527","host_organization_name":"Dublin Institute of Technology","host_organization_lineage":["https://openalex.org/I115570527"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Edsko de Vries, Adrian Francalanza and Matthew Hennessy., Uniqueness Typing for Resource Management in Message-Passing Concurrency., First International Workshop on Linearity (LINEARITY 2009). Electronic Proceedings in Theoretical Computer Science, First International Workshop on Linearity (LINEARITY 2009), Coimbra, Portugal, September 2009, M. Florido and I. Mackie, 22, 2010, 26-37","raw_type":"Conference item"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.208.5055","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.5055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.scss.tcd.ie/Matthew.Hennessy/pubs/linearity09-proceedings-uniqueness.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:http://www.rian.ie/93063/","is_oa":true,"landing_page_url":"http://hdl.handle.net/2262/66926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115570527","host_organization_name":"Dublin Institute of Technology","host_organization_lineage":["https://openalex.org/I115570527"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Edsko de Vries and Adrian Francalanza and Matthew Hennessy.,  Uniqueness Typing for Resource Management in Message-Passing Concurrency.,  Journal of Logic and Computation, 24, 3, 2012, 531-556.","raw_type":"Journal article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1491698270","https://openalex.org/W1491716119","https://openalex.org/W1499326305","https://openalex.org/W1507902915","https://openalex.org/W1508514069","https://openalex.org/W1560340731","https://openalex.org/W1604472755","https://openalex.org/W1784055113","https://openalex.org/W1859118644","https://openalex.org/W1861989620","https://openalex.org/W1987927267","https://openalex.org/W2013672985","https://openalex.org/W2033683103","https://openalex.org/W2040105559","https://openalex.org/W2042360145","https://openalex.org/W2061341742","https://openalex.org/W2076004629","https://openalex.org/W2088962847","https://openalex.org/W2128932399","https://openalex.org/W2135868037","https://openalex.org/W2142401116","https://openalex.org/W2142837069","https://openalex.org/W2143661661","https://openalex.org/W2153687851","https://openalex.org/W2156268601","https://openalex.org/W2186658924","https://openalex.org/W2911227993","https://openalex.org/W2912106379","https://openalex.org/W2914651966","https://openalex.org/W2989569200","https://openalex.org/W4245729501"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1528240692","https://openalex.org/W2376118243","https://openalex.org/W2588901507","https://openalex.org/W80042586","https://openalex.org/W1483545155","https://openalex.org/W2139633925","https://openalex.org/W1480354997","https://openalex.org/W1512848476","https://openalex.org/W1537173805"],"abstract_inverted_index":{"We":[0,60],"view":[1],"channels":[2],"as":[3],"the":[4,31,52],"main":[5],"form":[6],"of":[7,48],"resources":[8,23],"in":[9,20],"a":[10,62],"message-passing":[11],"programming":[12],"paradigm.":[13],"These\\nchannels":[14],"need":[15],"to":[16,45,72],"be":[17,43],"carefully":[18],"managed":[19],"settings":[21],"where":[22],"are":[24],"scarce.":[25],"To":[26],"study":[27],"this":[28],"problem,\\nwe":[29],"extend":[30],"pi-calculus":[32],"with":[33],"primitives":[34],"for":[35,57],"channel":[36],"allocation":[37],"and":[38,40,69],"deallocation":[39],"allow":[41],"channels\\nto":[42],"reused":[44],"communicate":[46],"values":[47],"different":[49],"types.":[50],"Inevitably,":[51],"added":[53],"expressiveness":[54],"increases\\nthe":[55],"possibilities":[56],"runtime":[58],"errors.":[59],"define":[61],"substructural":[63],"type":[64],"system":[65],"which":[66],"combines":[67],"uniqueness\\ntyping":[68],"affine":[70],"typing":[71],"reject":[73],"these":[74],"ill-behaved":[75],"programs.":[76]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}