Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091447013> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2091447013 endingPage "87" @default.
- W2091447013 startingPage "55" @default.
- W2091447013 abstract "Fairness is a mathematical abstraction used in the modeling of a wide range of phenomena, including concurrency, scheduling, and probability. In this paper, we study fairness in the context of probabilistic systems, and we introduce probabilistic fairness, a novel notion of fairness that is itself defined in terms of probability. The definition of probabilistic fairness makes it invariant with respect to synchronous composition, and facilitates the design of model-checking algorithms for quantitative properties of probabilistic systems. We compare probabilistic fairness with other notions of fairness for probabilistic systems, and we provide algorithms that solve the verification problem for various classes of probabilistic properties on finite-state systems with fairness." @default.
- W2091447013 created "2016-06-24" @default.
- W2091447013 creator A5050777140 @default.
- W2091447013 date "1999-01-01" @default.
- W2091447013 modified "2023-09-23" @default.
- W2091447013 title "From Fairness to Chance" @default.
- W2091447013 cites W1972203711 @default.
- W2091447013 cites W2024405571 @default.
- W2091447013 cites W2031592188 @default.
- W2091447013 cites W2081287319 @default.
- W2091447013 cites W2089211960 @default.
- W2091447013 cites W2091188761 @default.
- W2091447013 cites W2121431238 @default.
- W2091447013 cites W2142008356 @default.
- W2091447013 cites W2168605507 @default.
- W2091447013 cites W2337623929 @default.
- W2091447013 doi "https://doi.org/10.1016/s1571-0661(05)80597-3" @default.
- W2091447013 hasPublicationYear "1999" @default.
- W2091447013 type Work @default.
- W2091447013 sameAs 2091447013 @default.
- W2091447013 citedByCount "19" @default.
- W2091447013 countsByYear W20914470132012 @default.
- W2091447013 countsByYear W20914470132014 @default.
- W2091447013 countsByYear W20914470132018 @default.
- W2091447013 countsByYear W20914470132022 @default.
- W2091447013 crossrefType "journal-article" @default.
- W2091447013 hasAuthorship W2091447013A5050777140 @default.
- W2091447013 hasBestOaLocation W20914470131 @default.
- W2091447013 hasConcept C111472728 @default.
- W2091447013 hasConcept C120314980 @default.
- W2091447013 hasConcept C124304363 @default.
- W2091447013 hasConcept C128828806 @default.
- W2091447013 hasConcept C138885662 @default.
- W2091447013 hasConcept C143017306 @default.
- W2091447013 hasConcept C154945302 @default.
- W2091447013 hasConcept C190470478 @default.
- W2091447013 hasConcept C193702766 @default.
- W2091447013 hasConcept C24404364 @default.
- W2091447013 hasConcept C33923547 @default.
- W2091447013 hasConcept C37914503 @default.
- W2091447013 hasConcept C41008148 @default.
- W2091447013 hasConcept C49937458 @default.
- W2091447013 hasConcept C52063229 @default.
- W2091447013 hasConcept C80444323 @default.
- W2091447013 hasConceptScore W2091447013C111472728 @default.
- W2091447013 hasConceptScore W2091447013C120314980 @default.
- W2091447013 hasConceptScore W2091447013C124304363 @default.
- W2091447013 hasConceptScore W2091447013C128828806 @default.
- W2091447013 hasConceptScore W2091447013C138885662 @default.
- W2091447013 hasConceptScore W2091447013C143017306 @default.
- W2091447013 hasConceptScore W2091447013C154945302 @default.
- W2091447013 hasConceptScore W2091447013C190470478 @default.
- W2091447013 hasConceptScore W2091447013C193702766 @default.
- W2091447013 hasConceptScore W2091447013C24404364 @default.
- W2091447013 hasConceptScore W2091447013C33923547 @default.
- W2091447013 hasConceptScore W2091447013C37914503 @default.
- W2091447013 hasConceptScore W2091447013C41008148 @default.
- W2091447013 hasConceptScore W2091447013C49937458 @default.
- W2091447013 hasConceptScore W2091447013C52063229 @default.
- W2091447013 hasConceptScore W2091447013C80444323 @default.
- W2091447013 hasLocation W20914470131 @default.
- W2091447013 hasOpenAccess W2091447013 @default.
- W2091447013 hasPrimaryLocation W20914470131 @default.
- W2091447013 hasRelatedWork W164001702 @default.
- W2091447013 hasRelatedWork W2058440484 @default.
- W2091447013 hasRelatedWork W2091447013 @default.
- W2091447013 hasRelatedWork W2104279947 @default.
- W2091447013 hasRelatedWork W2471401686 @default.
- W2091447013 hasRelatedWork W2525884743 @default.
- W2091447013 hasRelatedWork W3186505320 @default.
- W2091447013 hasRelatedWork W3214184572 @default.
- W2091447013 hasRelatedWork W4282928702 @default.
- W2091447013 hasRelatedWork W88990729 @default.
- W2091447013 hasVolume "22" @default.
- W2091447013 isParatext "false" @default.
- W2091447013 isRetracted "false" @default.
- W2091447013 magId "2091447013" @default.
- W2091447013 workType "article" @default.