{"id":"https://openalex.org/W1985792627","doi":"https://doi.org/10.1007/bf00264467","title":"Some extended semaphore primitives","display_name":"Some extended semaphore primitives","publication_year":1977,"publication_date":"1977-01-01","ids":{"openalex":"https://openalex.org/W1985792627","doi":"https://doi.org/10.1007/bf00264467","mag":"1985792627"},"language":"en","primary_location":{"id":"doi:10.1007/bf00264467","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00264467","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","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/A5077426642","display_name":"Tilak Agerwala","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Tilak Agerwala","raw_affiliation_strings":["Departments of Electrical Engineering and Computer Science, The University of Texas at Austin, 78712, Austin, TX, USA","Departments of Electrical Engineering and Computer Science, The University of Texas at Austin, Austin, USA 78712#TAB#"],"affiliations":[{"raw_affiliation_string":"Departments of Electrical Engineering and Computer Science, The University of Texas at Austin, 78712, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Departments of Electrical Engineering and Computer Science, The University of Texas at Austin, Austin, USA 78712#TAB#","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077426642"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":5.7515,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.9640592,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9797000288963318,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9797000288963318,"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/semaphore","display_name":"Semaphore","score":0.9327611923217773},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8024107217788696},{"id":"https://openalex.org/keywords/synchronizing","display_name":"Synchronizing","score":0.7896422147750854},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6994936466217041},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6833676695823669},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4930064380168915},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.4822893440723419},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.472929984331131},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4681079089641571},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4657756984233856},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.44476425647735596},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.43135374784469604},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40236687660217285},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3696765899658203},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3313688337802887}],"concepts":[{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.9327611923217773},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8024107217788696},{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.7896422147750854},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6994936466217041},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6833676695823669},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4930064380168915},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.4822893440723419},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.472929984331131},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4681079089641571},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4657756984233856},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.44476425647735596},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.43135374784469604},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40236687660217285},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3696765899658203},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3313688337802887},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00264467","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00264467","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W851988951","https://openalex.org/W1525808414","https://openalex.org/W1595227826","https://openalex.org/W1789713128","https://openalex.org/W1817451992","https://openalex.org/W1970908995","https://openalex.org/W2044689595","https://openalex.org/W2049764332","https://openalex.org/W2094159214","https://openalex.org/W2168149256","https://openalex.org/W2296545483"],"related_works":["https://openalex.org/W2200927817","https://openalex.org/W3004427400","https://openalex.org/W1981108036","https://openalex.org/W2091489058","https://openalex.org/W2001237670","https://openalex.org/W2365256108","https://openalex.org/W1595611771","https://openalex.org/W2056486266","https://openalex.org/W2268677203","https://openalex.org/W2089352481"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}