Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296540112> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2296540112 endingPage "1194" @default.
- W2296540112 startingPage "1171" @default.
- W2296540112 abstract "Fairness is a mathematical abstraction: in a multiprogramming environment, fairness abstracts the details of admissible (“fair”) schedulers; in a distributed environment, fairness abstracts the relative speeds of processors. We argue that the standard definition of fairness often is unnecessarily weak and can be replaced by the stronger, yet still abstract, notion of finitary fairness. While standard weak fairness requires that no enabled transition is postponed forever, finitary weak fairness requires that for every computation of a system there is an unknown bound k such that no enabled transition is postponed more than k consecutive times. In general, the finitary restriction fin ( F ) of any given fairness requirement F is the union of all ω-regular safety properties contained in F . The adequacy of the proposed abstraction is shown in two ways. Suppose we prove a program property under the assumption of finitary fairness. In a multiprogramming environment, the program then satisfies the property for all fair finite-state schedulers. In a distributed environment, the program then satisfies the property for all choices of lower and upper bounds on the speeds (or timings) of processors. The benefits of finitary fairness are twofold. First, the proof rules for verifying liveness properties of concurrent programs are simplified: well-founded induction over the natural numbers is adequate to prove termination under finitary fairness. Second, the fundamental problem of consensus in a faulty asynchronous distributed environment can be solved assuming finitary fairness." @default.
- W2296540112 created "2016-06-24" @default.
- W2296540112 creator A5065059795 @default.
- W2296540112 creator A5080555605 @default.
- W2296540112 date "1998-11-01" @default.
- W2296540112 modified "2023-10-18" @default.
- W2296540112 title "Finitary fairness" @default.
- W2296540112 cites W1506588809 @default.
- W2296540112 cites W1989877393 @default.
- W2296540112 cites W2003214215 @default.
- W2296540112 cites W2025480213 @default.
- W2296540112 cites W2025782239 @default.
- W2296540112 cites W2025835812 @default.
- W2296540112 cites W2035362408 @default.
- W2296540112 cites W2063463921 @default.
- W2296540112 cites W2084880396 @default.
- W2296540112 cites W2101508170 @default.
- W2296540112 cites W2126924915 @default.
- W2296540112 cites W2143417417 @default.
- W2296540112 cites W2157319504 @default.
- W2296540112 cites W2914206182 @default.
- W2296540112 cites W4244847755 @default.
- W2296540112 cites W4296471858 @default.
- W2296540112 cites W2031617058 @default.
- W2296540112 doi "https://doi.org/10.1145/295656.295659" @default.
- W2296540112 hasPublicationYear "1998" @default.
- W2296540112 type Work @default.
- W2296540112 sameAs 2296540112 @default.
- W2296540112 citedByCount "44" @default.
- W2296540112 countsByYear W22965401122012 @default.
- W2296540112 countsByYear W22965401122013 @default.
- W2296540112 countsByYear W22965401122015 @default.
- W2296540112 countsByYear W22965401122016 @default.
- W2296540112 countsByYear W22965401122017 @default.
- W2296540112 countsByYear W22965401122018 @default.
- W2296540112 countsByYear W22965401122019 @default.
- W2296540112 countsByYear W22965401122020 @default.
- W2296540112 countsByYear W22965401122021 @default.
- W2296540112 countsByYear W22965401122022 @default.
- W2296540112 crossrefType "journal-article" @default.
- W2296540112 hasAuthorship W2296540112A5065059795 @default.
- W2296540112 hasAuthorship W2296540112A5080555605 @default.
- W2296540112 hasBestOaLocation W22965401121 @default.
- W2296540112 hasConcept C111472728 @default.
- W2296540112 hasConcept C118615104 @default.
- W2296540112 hasConcept C124304363 @default.
- W2296540112 hasConcept C138885662 @default.
- W2296540112 hasConcept C151319957 @default.
- W2296540112 hasConcept C15569618 @default.
- W2296540112 hasConcept C189950617 @default.
- W2296540112 hasConcept C2778003309 @default.
- W2296540112 hasConcept C31258907 @default.
- W2296540112 hasConcept C33923547 @default.
- W2296540112 hasConcept C41008148 @default.
- W2296540112 hasConcept C80444323 @default.
- W2296540112 hasConceptScore W2296540112C111472728 @default.
- W2296540112 hasConceptScore W2296540112C118615104 @default.
- W2296540112 hasConceptScore W2296540112C124304363 @default.
- W2296540112 hasConceptScore W2296540112C138885662 @default.
- W2296540112 hasConceptScore W2296540112C151319957 @default.
- W2296540112 hasConceptScore W2296540112C15569618 @default.
- W2296540112 hasConceptScore W2296540112C189950617 @default.
- W2296540112 hasConceptScore W2296540112C2778003309 @default.
- W2296540112 hasConceptScore W2296540112C31258907 @default.
- W2296540112 hasConceptScore W2296540112C33923547 @default.
- W2296540112 hasConceptScore W2296540112C41008148 @default.
- W2296540112 hasConceptScore W2296540112C80444323 @default.
- W2296540112 hasIssue "6" @default.
- W2296540112 hasLocation W22965401121 @default.
- W2296540112 hasOpenAccess W2296540112 @default.
- W2296540112 hasPrimaryLocation W22965401121 @default.
- W2296540112 hasRelatedWork W121172116 @default.
- W2296540112 hasRelatedWork W1486028172 @default.
- W2296540112 hasRelatedWork W1619503839 @default.
- W2296540112 hasRelatedWork W1964652583 @default.
- W2296540112 hasRelatedWork W2027755003 @default.
- W2296540112 hasRelatedWork W2135868730 @default.
- W2296540112 hasRelatedWork W2913957834 @default.
- W2296540112 hasRelatedWork W3001267388 @default.
- W2296540112 hasRelatedWork W3038021740 @default.
- W2296540112 hasRelatedWork W2584920012 @default.
- W2296540112 hasVolume "20" @default.
- W2296540112 isParatext "false" @default.
- W2296540112 isRetracted "false" @default.
- W2296540112 magId "2296540112" @default.
- W2296540112 workType "article" @default.