Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135714245> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2135714245 abstract "The resources of SAL allow many kinds of systems to be modeled and analyzed. However, it requires skill and experience to exploit the capabilities of SAL to the best effect in any given problem domain. This tutorial provides an introduction to the use of SAL in modeling and analyzing fault-tolerant systems. The example considered here is a simple variant on the classical one-round Oral Messages algorithm OM(1) for Byzantine agreement and will be familiar to many computer scientists. The SAL model developed here is available for download, so that users can repeat the analyses described, and exercises are suggested for additional experiments." @default.
- W2135714245 created "2016-06-24" @default.
- W2135714245 creator A5020087247 @default.
- W2135714245 date "2004-01-01" @default.
- W2135714245 modified "2023-09-24" @default.
- W2135714245 title "SAL Tutorial: Analyzing the Fault-Tolerant Algorithm OM(1)" @default.
- W2135714245 cites W1495250406 @default.
- W2135714245 cites W1552280794 @default.
- W2135714245 cites W1634257591 @default.
- W2135714245 cites W1841224788 @default.
- W2135714245 cites W2040102178 @default.
- W2135714245 cites W2119699246 @default.
- W2135714245 cites W2123630423 @default.
- W2135714245 cites W2126924915 @default.
- W2135714245 cites W2126969628 @default.
- W2135714245 cites W2141126147 @default.
- W2135714245 cites W2154690088 @default.
- W2135714245 cites W2166752259 @default.
- W2135714245 cites W2171608978 @default.
- W2135714245 cites W2303394219 @default.
- W2135714245 cites W2611515161 @default.
- W2135714245 cites W3137092842 @default.
- W2135714245 hasPublicationYear "2004" @default.
- W2135714245 type Work @default.
- W2135714245 sameAs 2135714245 @default.
- W2135714245 citedByCount "4" @default.
- W2135714245 countsByYear W21357142452013 @default.
- W2135714245 crossrefType "journal-article" @default.
- W2135714245 hasAuthorship W2135714245A5020087247 @default.
- W2135714245 hasConcept C111472728 @default.
- W2135714245 hasConcept C11413529 @default.
- W2135714245 hasConcept C115903868 @default.
- W2135714245 hasConcept C120314980 @default.
- W2135714245 hasConcept C134306372 @default.
- W2135714245 hasConcept C136764020 @default.
- W2135714245 hasConcept C138885662 @default.
- W2135714245 hasConcept C165696696 @default.
- W2135714245 hasConcept C2780154274 @default.
- W2135714245 hasConcept C2780586882 @default.
- W2135714245 hasConcept C33923547 @default.
- W2135714245 hasConcept C36503486 @default.
- W2135714245 hasConcept C38652104 @default.
- W2135714245 hasConcept C41008148 @default.
- W2135714245 hasConcept C63540848 @default.
- W2135714245 hasConcept C80444323 @default.
- W2135714245 hasConceptScore W2135714245C111472728 @default.
- W2135714245 hasConceptScore W2135714245C11413529 @default.
- W2135714245 hasConceptScore W2135714245C115903868 @default.
- W2135714245 hasConceptScore W2135714245C120314980 @default.
- W2135714245 hasConceptScore W2135714245C134306372 @default.
- W2135714245 hasConceptScore W2135714245C136764020 @default.
- W2135714245 hasConceptScore W2135714245C138885662 @default.
- W2135714245 hasConceptScore W2135714245C165696696 @default.
- W2135714245 hasConceptScore W2135714245C2780154274 @default.
- W2135714245 hasConceptScore W2135714245C2780586882 @default.
- W2135714245 hasConceptScore W2135714245C33923547 @default.
- W2135714245 hasConceptScore W2135714245C36503486 @default.
- W2135714245 hasConceptScore W2135714245C38652104 @default.
- W2135714245 hasConceptScore W2135714245C41008148 @default.
- W2135714245 hasConceptScore W2135714245C63540848 @default.
- W2135714245 hasConceptScore W2135714245C80444323 @default.
- W2135714245 hasLocation W21357142451 @default.
- W2135714245 hasOpenAccess W2135714245 @default.
- W2135714245 hasPrimaryLocation W21357142451 @default.
- W2135714245 hasRelatedWork W1518741327 @default.
- W2135714245 hasRelatedWork W1530614209 @default.
- W2135714245 hasRelatedWork W1548951997 @default.
- W2135714245 hasRelatedWork W1811272112 @default.
- W2135714245 hasRelatedWork W1970216247 @default.
- W2135714245 hasRelatedWork W2020946537 @default.
- W2135714245 hasRelatedWork W2033247407 @default.
- W2135714245 hasRelatedWork W2042176941 @default.
- W2135714245 hasRelatedWork W2207803233 @default.
- W2135714245 hasRelatedWork W2256090243 @default.
- W2135714245 hasRelatedWork W2566820028 @default.
- W2135714245 hasRelatedWork W2587572595 @default.
- W2135714245 hasRelatedWork W2733018591 @default.
- W2135714245 hasRelatedWork W2737384626 @default.
- W2135714245 hasRelatedWork W2798542520 @default.
- W2135714245 hasRelatedWork W2810627820 @default.
- W2135714245 hasRelatedWork W285752912 @default.
- W2135714245 hasRelatedWork W2915732170 @default.
- W2135714245 hasRelatedWork W3145451900 @default.
- W2135714245 hasRelatedWork W3152013366 @default.
- W2135714245 isParatext "false" @default.
- W2135714245 isRetracted "false" @default.
- W2135714245 magId "2135714245" @default.
- W2135714245 workType "article" @default.