{"id":"https://openalex.org/W1994280657","doi":"https://doi.org/10.1007/s00446-009-0081-9","title":"Causing communication closure: safe program composition with reliable non-FIFO channels","display_name":"Causing communication closure: safe program composition with reliable non-FIFO channels","publication_year":2009,"publication_date":"2009-04-23","ids":{"openalex":"https://openalex.org/W1994280657","doi":"https://doi.org/10.1007/s00446-009-0081-9","mag":"1994280657"},"language":"en","primary_location":{"id":"doi:10.1007/s00446-009-0081-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00446-009-0081-9","pdf_url":null,"source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112018592","display_name":"Kai Engelhardt","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Kai Engelhardt","raw_affiliation_strings":["National ICT Australia Limited, The University of New South Wales, Locked Bag 6016, Sydney, NSW, 1466, Australia","School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW, 2052, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National ICT Australia Limited, The University of New South Wales, Locked Bag 6016, Sydney, NSW, 1466, Australia","institution_ids":["https://openalex.org/I42894916"]},{"raw_affiliation_string":"School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW, 2052, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005055897","display_name":"Yoram Moses","orcid":"https://orcid.org/0000-0001-5549-1781"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yoram Moses","raw_affiliation_strings":["Department of Electrical Engineering, Technion, 32000, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Technion, 32000, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112018592"],"corresponding_institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"],"apc_list":{"value":3090,"currency":"USD","value_usd":3090},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15065639,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"22","issue":"2","first_page":"73","last_page":"91"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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.9986000061035156,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.778799831867218},{"id":"https://openalex.org/keywords/fifo","display_name":"FIFO (computing and electronics)","score":0.680169939994812},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6509844064712524},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5887364745140076},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5553372502326965},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.5080740451812744},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4829773008823395},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38438597321510315},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.35730117559432983}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.778799831867218},{"id":"https://openalex.org/C2777145635","wikidata":"https://www.wikidata.org/wiki/Q515636","display_name":"FIFO (computing and electronics)","level":2,"score":0.680169939994812},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6509844064712524},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5887364745140076},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5553372502326965},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.5080740451812744},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4829773008823395},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38438597321510315},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.35730117559432983},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00446-009-0081-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00446-009-0081-9","pdf_url":null,"source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6700000166893005,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W84950468","https://openalex.org/W274618036","https://openalex.org/W1486705761","https://openalex.org/W1487860367","https://openalex.org/W1500492509","https://openalex.org/W1521976624","https://openalex.org/W1545945432","https://openalex.org/W1551769641","https://openalex.org/W1591677552","https://openalex.org/W1607424833","https://openalex.org/W1608432125","https://openalex.org/W1750413901","https://openalex.org/W1850468620","https://openalex.org/W1872712523","https://openalex.org/W2020198681","https://openalex.org/W2042981544","https://openalex.org/W2045364115","https://openalex.org/W2062349674","https://openalex.org/W2089118959","https://openalex.org/W2092534058","https://openalex.org/W2146105886","https://openalex.org/W2294580796","https://openalex.org/W2611515161","https://openalex.org/W3106753174","https://openalex.org/W3137220996","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W315394019","https://openalex.org/W2158430778","https://openalex.org/W2923398117","https://openalex.org/W2533984654","https://openalex.org/W4309585848","https://openalex.org/W2265383332","https://openalex.org/W4328130279","https://openalex.org/W4313657047","https://openalex.org/W2146472422","https://openalex.org/W4256423923"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}