Matches in SemOpenAlex for { <https://semopenalex.org/work/W1884455508> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1884455508 endingPage "305" @default.
- W1884455508 startingPage "288" @default.
- W1884455508 abstract "Formal proofs of functional correctness and rigorous analyses of fault tolerance have, traditionally, been separate processes. In the former a programming logic (proof) or computational model (model checking) is used to establish that all the system’s behaviours satisfy some (specification) criteria. In the latter, techniques derived from engineering are used to determine quantitative properties such as probability of failure (given failure of some component) or expected performance (an average measure of execution time, for example). To combine the formality and the rigour requires a quantitative approach within which functional correctness can be embedded. Programming logics for probability are capable in principle of doing so, and in this article we illustrate the use of the probabilistic guarded-command language (pGCL) and its logic for that purpose. We take self-stabilisation as an example of fault tolerance, and present program-logical techniques for determining, on the one hand, that termination occurs with probability one and, on the other, the the expected time to termination is bounded above by some value. An interesting technical novelty required for this is the recognition of both “angelic” and “demonic” refinement, reflecting our simultaneous interest in both upper- and lower bounds." @default.
- W1884455508 created "2016-06-24" @default.
- W1884455508 creator A5035107880 @default.
- W1884455508 creator A5039019347 @default.
- W1884455508 date "2006-01-01" @default.
- W1884455508 modified "2023-09-25" @default.
- W1884455508 title "Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation" @default.
- W1884455508 cites W1481858916 @default.
- W1884455508 cites W1524865709 @default.
- W1884455508 cites W1988364662 @default.
- W1884455508 cites W1992996044 @default.
- W1884455508 cites W2074199912 @default.
- W1884455508 cites W2124446794 @default.
- W1884455508 cites W2141670510 @default.
- W1884455508 cites W4206542816 @default.
- W1884455508 doi "https://doi.org/10.1007/11916246_15" @default.
- W1884455508 hasPublicationYear "2006" @default.
- W1884455508 type Work @default.
- W1884455508 sameAs 1884455508 @default.
- W1884455508 citedByCount "0" @default.
- W1884455508 crossrefType "book-chapter" @default.
- W1884455508 hasAuthorship W1884455508A5035107880 @default.
- W1884455508 hasAuthorship W1884455508A5039019347 @default.
- W1884455508 hasBestOaLocation W18844555082 @default.
- W1884455508 hasConcept C108710211 @default.
- W1884455508 hasConcept C110251889 @default.
- W1884455508 hasConcept C11413529 @default.
- W1884455508 hasConcept C120314980 @default.
- W1884455508 hasConcept C127413603 @default.
- W1884455508 hasConcept C134306372 @default.
- W1884455508 hasConcept C138885662 @default.
- W1884455508 hasConcept C154945302 @default.
- W1884455508 hasConcept C199360897 @default.
- W1884455508 hasConcept C200601418 @default.
- W1884455508 hasConcept C2524010 @default.
- W1884455508 hasConcept C27206212 @default.
- W1884455508 hasConcept C2778738651 @default.
- W1884455508 hasConcept C33923547 @default.
- W1884455508 hasConcept C34388435 @default.
- W1884455508 hasConcept C41008148 @default.
- W1884455508 hasConcept C49937458 @default.
- W1884455508 hasConcept C55439883 @default.
- W1884455508 hasConcept C63540848 @default.
- W1884455508 hasConcept C75606506 @default.
- W1884455508 hasConcept C80444323 @default.
- W1884455508 hasConceptScore W1884455508C108710211 @default.
- W1884455508 hasConceptScore W1884455508C110251889 @default.
- W1884455508 hasConceptScore W1884455508C11413529 @default.
- W1884455508 hasConceptScore W1884455508C120314980 @default.
- W1884455508 hasConceptScore W1884455508C127413603 @default.
- W1884455508 hasConceptScore W1884455508C134306372 @default.
- W1884455508 hasConceptScore W1884455508C138885662 @default.
- W1884455508 hasConceptScore W1884455508C154945302 @default.
- W1884455508 hasConceptScore W1884455508C199360897 @default.
- W1884455508 hasConceptScore W1884455508C200601418 @default.
- W1884455508 hasConceptScore W1884455508C2524010 @default.
- W1884455508 hasConceptScore W1884455508C27206212 @default.
- W1884455508 hasConceptScore W1884455508C2778738651 @default.
- W1884455508 hasConceptScore W1884455508C33923547 @default.
- W1884455508 hasConceptScore W1884455508C34388435 @default.
- W1884455508 hasConceptScore W1884455508C41008148 @default.
- W1884455508 hasConceptScore W1884455508C49937458 @default.
- W1884455508 hasConceptScore W1884455508C55439883 @default.
- W1884455508 hasConceptScore W1884455508C63540848 @default.
- W1884455508 hasConceptScore W1884455508C75606506 @default.
- W1884455508 hasConceptScore W1884455508C80444323 @default.
- W1884455508 hasLocation W18844555081 @default.
- W1884455508 hasLocation W18844555082 @default.
- W1884455508 hasOpenAccess W1884455508 @default.
- W1884455508 hasPrimaryLocation W18844555081 @default.
- W1884455508 hasRelatedWork W1019628555 @default.
- W1884455508 hasRelatedWork W1601757209 @default.
- W1884455508 hasRelatedWork W1985198438 @default.
- W1884455508 hasRelatedWork W2053237764 @default.
- W1884455508 hasRelatedWork W2146167845 @default.
- W1884455508 hasRelatedWork W2270471158 @default.
- W1884455508 hasRelatedWork W2376266608 @default.
- W1884455508 hasRelatedWork W2741430969 @default.
- W1884455508 hasRelatedWork W2807819528 @default.
- W1884455508 hasRelatedWork W2956679612 @default.
- W1884455508 isParatext "false" @default.
- W1884455508 isRetracted "false" @default.
- W1884455508 magId "1884455508" @default.
- W1884455508 workType "book-chapter" @default.