Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018908462> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2018908462 abstract "A proof system based on linear temporal logic for the qualitative verification of concurrent probabilistic programs is proposed. The concept of extreme fairness is introduced as an approximation to the notion of probabilistic executions. The proof system proposed is shown to be relatively complete with respect to validity over all extremely fair computations. The proof methodology is demonstrated by proving correctness of a new probabilistic algorithm for solving the mutual exclusion problem ([CLP])." @default.
- W2018908462 created "2016-06-24" @default.
- W2018908462 creator A5078214635 @default.
- W2018908462 date "1983-01-01" @default.
- W2018908462 modified "2023-09-24" @default.
- W2018908462 title "On the extremely fair treatment of probabilistic algorithms" @default.
- W2018908462 cites W1566242322 @default.
- W2018908462 cites W15971364 @default.
- W2018908462 cites W1600408058 @default.
- W2018908462 cites W167444842 @default.
- W2018908462 cites W1798280647 @default.
- W2018908462 cites W1974867112 @default.
- W2018908462 cites W2005805388 @default.
- W2018908462 cites W2055454967 @default.
- W2018908462 cites W2058630223 @default.
- W2018908462 cites W2062693502 @default.
- W2018908462 cites W2069979244 @default.
- W2018908462 cites W2073689993 @default.
- W2018908462 cites W2074199912 @default.
- W2018908462 cites W2084147655 @default.
- W2018908462 cites W2091188761 @default.
- W2018908462 cites W2111061067 @default.
- W2018908462 cites W2166656159 @default.
- W2018908462 doi "https://doi.org/10.1145/800061.808757" @default.
- W2018908462 hasPublicationYear "1983" @default.
- W2018908462 type Work @default.
- W2018908462 sameAs 2018908462 @default.
- W2018908462 citedByCount "71" @default.
- W2018908462 countsByYear W20189084622012 @default.
- W2018908462 countsByYear W20189084622013 @default.
- W2018908462 countsByYear W20189084622014 @default.
- W2018908462 countsByYear W20189084622015 @default.
- W2018908462 countsByYear W20189084622016 @default.
- W2018908462 countsByYear W20189084622017 @default.
- W2018908462 countsByYear W20189084622018 @default.
- W2018908462 countsByYear W20189084622019 @default.
- W2018908462 countsByYear W20189084622020 @default.
- W2018908462 countsByYear W20189084622022 @default.
- W2018908462 countsByYear W20189084622023 @default.
- W2018908462 crossrefType "proceedings-article" @default.
- W2018908462 hasAuthorship W2018908462A5078214635 @default.
- W2018908462 hasConcept C11413529 @default.
- W2018908462 hasConcept C154945302 @default.
- W2018908462 hasConcept C24404364 @default.
- W2018908462 hasConcept C41008148 @default.
- W2018908462 hasConcept C49937458 @default.
- W2018908462 hasConceptScore W2018908462C11413529 @default.
- W2018908462 hasConceptScore W2018908462C154945302 @default.
- W2018908462 hasConceptScore W2018908462C24404364 @default.
- W2018908462 hasConceptScore W2018908462C41008148 @default.
- W2018908462 hasConceptScore W2018908462C49937458 @default.
- W2018908462 hasLocation W20189084621 @default.
- W2018908462 hasOpenAccess W2018908462 @default.
- W2018908462 hasPrimaryLocation W20189084621 @default.
- W2018908462 hasRelatedWork W1970358763 @default.
- W2018908462 hasRelatedWork W2078590855 @default.
- W2018908462 hasRelatedWork W2081163014 @default.
- W2018908462 hasRelatedWork W2151268798 @default.
- W2018908462 hasRelatedWork W2212155158 @default.
- W2018908462 hasRelatedWork W2548393475 @default.
- W2018908462 hasRelatedWork W2969465628 @default.
- W2018908462 hasRelatedWork W3119638737 @default.
- W2018908462 hasRelatedWork W4290792893 @default.
- W2018908462 hasRelatedWork W830096938 @default.
- W2018908462 isParatext "false" @default.
- W2018908462 isRetracted "false" @default.
- W2018908462 magId "2018908462" @default.
- W2018908462 workType "article" @default.