Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554367021> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1554367021 endingPage "425" @default.
- W1554367021 startingPage "411" @default.
- W1554367021 abstract "Infinite computations are widely used to model arbitrarily long computations of infinite-state systems. Certain properties have both a finitary version, applying only to finite prefixes of computations, and an infinitary version. It is tempting to verify these properties for finite computations only, and then conclude that the infinitary version of the property holds too. This generalization is sound for safety properties, but to verify non-safety properties “by prefixes”, one must justify the generalization step. This paper studies how this can be done for sequential consistency of shared memory protocols. In the related literature, this generalization is sometimes done informally, if at all. We define, independently of any specific shared memory algorithm, sufficient conditions so that sequential consistency can be verified by finite prefixes. These conditions are expected to be satisfied by any reasonable shared memory system, regardless of the consistency model." @default.
- W1554367021 created "2016-06-24" @default.
- W1554367021 creator A5012905188 @default.
- W1554367021 creator A5055894990 @default.
- W1554367021 date "2001-01-01" @default.
- W1554367021 modified "2023-09-27" @default.
- W1554367021 title "Extending Memory Consistency of Finite Prefixes to Infinite Computations" @default.
- W1554367021 cites W1487200297 @default.
- W1554367021 cites W1970362226 @default.
- W1554367021 cites W2000616296 @default.
- W1554367021 cites W2016937010 @default.
- W1554367021 cites W2025480213 @default.
- W1554367021 cites W2032921764 @default.
- W1554367021 cites W2054739713 @default.
- W1554367021 cites W2115677563 @default.
- W1554367021 cites W2121978431 @default.
- W1554367021 cites W2130928091 @default.
- W1554367021 cites W2138955293 @default.
- W1554367021 cites W2295903464 @default.
- W1554367021 cites W2787127008 @default.
- W1554367021 doi "https://doi.org/10.1007/3-540-44685-0_28" @default.
- W1554367021 hasPublicationYear "2001" @default.
- W1554367021 type Work @default.
- W1554367021 sameAs 1554367021 @default.
- W1554367021 citedByCount "5" @default.
- W1554367021 crossrefType "book-chapter" @default.
- W1554367021 hasAuthorship W1554367021A5012905188 @default.
- W1554367021 hasAuthorship W1554367021A5055894990 @default.
- W1554367021 hasConcept C111472728 @default.
- W1554367021 hasConcept C11413529 @default.
- W1554367021 hasConcept C118615104 @default.
- W1554367021 hasConcept C134306372 @default.
- W1554367021 hasConcept C138885662 @default.
- W1554367021 hasConcept C141603448 @default.
- W1554367021 hasConcept C154945302 @default.
- W1554367021 hasConcept C167822520 @default.
- W1554367021 hasConcept C175652121 @default.
- W1554367021 hasConcept C177148314 @default.
- W1554367021 hasConcept C189950617 @default.
- W1554367021 hasConcept C2776436953 @default.
- W1554367021 hasConcept C2778003309 @default.
- W1554367021 hasConcept C33923547 @default.
- W1554367021 hasConcept C37279795 @default.
- W1554367021 hasConcept C41008148 @default.
- W1554367021 hasConcept C41895202 @default.
- W1554367021 hasConcept C45374587 @default.
- W1554367021 hasConcept C55439883 @default.
- W1554367021 hasConcept C80444323 @default.
- W1554367021 hasConcept C82029504 @default.
- W1554367021 hasConceptScore W1554367021C111472728 @default.
- W1554367021 hasConceptScore W1554367021C11413529 @default.
- W1554367021 hasConceptScore W1554367021C118615104 @default.
- W1554367021 hasConceptScore W1554367021C134306372 @default.
- W1554367021 hasConceptScore W1554367021C138885662 @default.
- W1554367021 hasConceptScore W1554367021C141603448 @default.
- W1554367021 hasConceptScore W1554367021C154945302 @default.
- W1554367021 hasConceptScore W1554367021C167822520 @default.
- W1554367021 hasConceptScore W1554367021C175652121 @default.
- W1554367021 hasConceptScore W1554367021C177148314 @default.
- W1554367021 hasConceptScore W1554367021C189950617 @default.
- W1554367021 hasConceptScore W1554367021C2776436953 @default.
- W1554367021 hasConceptScore W1554367021C2778003309 @default.
- W1554367021 hasConceptScore W1554367021C33923547 @default.
- W1554367021 hasConceptScore W1554367021C37279795 @default.
- W1554367021 hasConceptScore W1554367021C41008148 @default.
- W1554367021 hasConceptScore W1554367021C41895202 @default.
- W1554367021 hasConceptScore W1554367021C45374587 @default.
- W1554367021 hasConceptScore W1554367021C55439883 @default.
- W1554367021 hasConceptScore W1554367021C80444323 @default.
- W1554367021 hasConceptScore W1554367021C82029504 @default.
- W1554367021 hasLocation W15543670211 @default.
- W1554367021 hasOpenAccess W1554367021 @default.
- W1554367021 hasPrimaryLocation W15543670211 @default.
- W1554367021 hasRelatedWork W147427843 @default.
- W1554367021 hasRelatedWork W1556575766 @default.
- W1554367021 hasRelatedWork W1585112206 @default.
- W1554367021 hasRelatedWork W1599275252 @default.
- W1554367021 hasRelatedWork W1602322980 @default.
- W1554367021 hasRelatedWork W1603122100 @default.
- W1554367021 hasRelatedWork W1681937286 @default.
- W1554367021 hasRelatedWork W1955693250 @default.
- W1554367021 hasRelatedWork W2010125230 @default.
- W1554367021 hasRelatedWork W2021915358 @default.
- W1554367021 hasRelatedWork W2024875518 @default.
- W1554367021 hasRelatedWork W2098000194 @default.
- W1554367021 hasRelatedWork W2099237646 @default.
- W1554367021 hasRelatedWork W2106464750 @default.
- W1554367021 hasRelatedWork W2119454075 @default.
- W1554367021 hasRelatedWork W2125498855 @default.
- W1554367021 hasRelatedWork W2265496806 @default.
- W1554367021 hasRelatedWork W2271723404 @default.
- W1554367021 hasRelatedWork W2482999254 @default.
- W1554367021 hasRelatedWork W2593059057 @default.
- W1554367021 isParatext "false" @default.
- W1554367021 isRetracted "false" @default.
- W1554367021 magId "1554367021" @default.
- W1554367021 workType "book-chapter" @default.