{"id":"https://openalex.org/W1760024495","doi":"https://doi.org/10.3233/fi-1999-40404","title":"Generalized Mutual Exclusion with Semaphores Only","display_name":"Generalized Mutual Exclusion with Semaphores Only","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1760024495","doi":"https://doi.org/10.3233/fi-1999-40404","mag":"1760024495"},"language":"en","primary_location":{"id":"doi:10.3233/fi-1999-40404","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1999-40404","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5064625276","display_name":"Edward T. Ordman","orcid":null},"institutions":[{"id":"https://openalex.org/I94658018","display_name":"University of Memphis","ror":"https://ror.org/01cq23130","country_code":"US","type":"education","lineage":["https://openalex.org/I94658018"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"E.T. Ordman","raw_affiliation_strings":["Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A","(Correspd.) Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A.#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A","institution_ids":["https://openalex.org/I94658018"]},{"raw_affiliation_string":"(Correspd.) Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A.#TAB#","institution_ids":["https://openalex.org/I94658018"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000449082","display_name":"Eugene Eberbach","orcid":"https://orcid.org/0000-0002-9840-4016"},"institutions":[{"id":"https://openalex.org/I92688161","display_name":"Acadia University","ror":"https://ror.org/00839we02","country_code":"CA","type":"education","lineage":["https://openalex.org/I92688161"]},{"id":"https://openalex.org/I94658018","display_name":"University of Memphis","ror":"https://ror.org/01cq23130","country_code":"US","type":"education","lineage":["https://openalex.org/I94658018"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"E. Eberbach","raw_affiliation_strings":["Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A","(Work done while on leave from the Jodrey School of Computer Science, Acadia University, Wolfville, NS, Canada B0P 1X0, eugene.eberbach@acadiau.ca, research supported in part by NSERC under grant "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A","institution_ids":["https://openalex.org/I94658018"]},{"raw_affiliation_string":"(Work done while on leave from the Jodrey School of Computer Science, Acadia University, Wolfville, NS, Canada B0P 1X0, eugene.eberbach@acadiau.ca, research supported in part by NSERC under grant ","institution_ids":["https://openalex.org/I92688161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016308408","display_name":"Ashraf M. Anwar","orcid":"https://orcid.org/0000-0001-8999-781X"},"institutions":[{"id":"https://openalex.org/I94658018","display_name":"University of Memphis","ror":"https://ror.org/01cq23130","country_code":"US","type":"education","lineage":["https://openalex.org/I94658018"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Anwar","raw_affiliation_strings":["Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A","(Correspd.) Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A.#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A","institution_ids":["https://openalex.org/I94658018"]},{"raw_affiliation_string":"(Correspd.) Department of Mathematical Sciences, The University of Memphis, Memphis, TN 38152, U.S.A.#TAB#","institution_ids":["https://openalex.org/I94658018"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064625276"],"corresponding_institution_ids":["https://openalex.org/I94658018"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14430459,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"4","first_page":"407","last_page":"422"},"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.9782999753952026,"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/T11567","display_name":"semigroups and automata theory","score":0.9718000292778015,"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.9169924855232239},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.8635972142219543},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5627360343933105},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37236836552619934},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34014198184013367},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33003753423690796}],"concepts":[{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.9169924855232239},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.8635972142219543},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5627360343933105},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37236836552619934},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34014198184013367},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33003753423690796}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-1999-40404","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1999-40404","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1506588809","https://openalex.org/W1527654363","https://openalex.org/W1985656126","https://openalex.org/W2030017253","https://openalex.org/W2030926579","https://openalex.org/W2057870640","https://openalex.org/W2069116943","https://openalex.org/W2611515161"],"related_works":["https://openalex.org/W2055159690","https://openalex.org/W2382175194","https://openalex.org/W2367266491","https://openalex.org/W1953982795","https://openalex.org/W2480924089","https://openalex.org/W1517912153","https://openalex.org/W1498456247","https://openalex.org/W2375900035","https://openalex.org/W2985470207","https://openalex.org/W1564372777"],"abstract_inverted_index":{"The":[0,119],"paper":[1],"deals":[2],"with":[3,29,138],"a":[4,63,125],"generic":[5],"solution":[6,19],"of":[7,66],"the":[8,18,39,49,67],"Mutual":[9],"Exclusion":[10],"Problem":[11],"using":[12,81,97],"semaphores":[13,23,28,34,99,113],"only.":[14],"We":[15,61,71,106],"use":[16],"in":[17,37,48,133],"weakly":[20],"fair":[21,101],"binary":[22,102],"and":[24,41,103,136],"(not":[25],"necessarily":[26],"fair)":[27],"initial":[30],"value":[31],"k.":[32],"All":[33,74,86],"are":[35,46,59,114],"simple":[36,83,98],"that":[38],"P":[40],"V":[42],"operations":[43],"on":[44,110],"them":[45],"paired":[47],"natural":[50],"way":[51],"avoiding":[52],"split":[53],"semaphores.":[54,84,145],"No":[55],"auxiliary":[56],"shared":[57,139],"variables":[58,140],"used.":[60],"define":[62],"general":[64],"form":[65],"mutual":[68,75,87,126],"exclusion":[69,76,88,127],"problem.":[70],"claim:":[72],"(1)":[73],"problems":[77,89],"can":[78,90,130],"be":[79,91,123,131],"solved":[80,92,132],"only":[82],"(2)":[85],"fairly":[93],"(with":[94],"bounded":[95],"waiting)":[96],"(weakly":[100],"initially\u2013k;":[104],"semaphores).":[105],"give":[107],"some":[108],"bounds":[109],"how":[111],"many":[112,144],"needed":[115],"for":[116],"standard":[117],"problems.":[118],"solutions":[120],"given":[121],"may":[122,141],"inefficient:":[124],"problem":[128],"which":[129],"linear":[134],"time":[135],"space":[137],"require":[142],"exponentially":[143]},"counts_by_year":[],"updated_date":"2026-05-02T06:04:40.494371","created_date":"2025-10-10T00:00:00"}