Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950172039> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2950172039 abstract "Linearizability is the standard correctness criterion concurrent data structures such as stacks and queues. It allows to establish observational refinement between a concurrent implementation and an atomic reference implementation.Proving linearizability requires identifying linearization points for each method invocation along all possible computations, leading to valid sequential executions, or alternatively, establishing forward and backward simulations. In both cases, carrying out proofs is hard and complex in general. In particular, backward reasoning is difficult in the context of programs with data structures, and strategies for identifying statically linearization points cannot be defined for all existing implementations. In this paper, we show that, contrary to common belief, many such complex implementations, including, e.g., the Herlihy&Wing Queue and the Time-Stamped Stack, can be proved correct using only forward simulation arguments. This leads to conceptually simple and natural correctness proofs for these implementations that are amenable to automation." @default.
- W2950172039 created "2019-06-27" @default.
- W2950172039 creator A5040528930 @default.
- W2950172039 creator A5045477471 @default.
- W2950172039 creator A5061209906 @default.
- W2950172039 creator A5078443111 @default.
- W2950172039 date "2017-02-09" @default.
- W2950172039 modified "2023-09-26" @default.
- W2950172039 title "Proving linearizability using forward simulations" @default.
- W2950172039 cites W1532290188 @default.
- W2950172039 cites W1720801710 @default.
- W2950172039 cites W1818449680 @default.
- W2950172039 cites W2101939036 @default.
- W2950172039 cites W2109717427 @default.
- W2950172039 cites W2132220514 @default.
- W2950172039 cites W2139533136 @default.
- W2950172039 cites W2145919405 @default.
- W2950172039 cites W2166263713 @default.
- W2950172039 cites W2328819335 @default.
- W2950172039 cites W2672830324 @default.
- W2950172039 cites W27871822 @default.
- W2950172039 cites W2953158016 @default.
- W2950172039 cites W71333976 @default.
- W2950172039 cites W995851627 @default.
- W2950172039 hasPublicationYear "2017" @default.
- W2950172039 type Work @default.
- W2950172039 sameAs 2950172039 @default.
- W2950172039 citedByCount "0" @default.
- W2950172039 crossrefType "posted-content" @default.
- W2950172039 hasAuthorship W2950172039A5040528930 @default.
- W2950172039 hasAuthorship W2950172039A5045477471 @default.
- W2950172039 hasAuthorship W2950172039A5061209906 @default.
- W2950172039 hasAuthorship W2950172039A5078443111 @default.
- W2950172039 hasConcept C108710211 @default.
- W2950172039 hasConcept C11413529 @default.
- W2950172039 hasConcept C151730666 @default.
- W2950172039 hasConcept C162319229 @default.
- W2950172039 hasConcept C199360897 @default.
- W2950172039 hasConcept C203222032 @default.
- W2950172039 hasConcept C20528329 @default.
- W2950172039 hasConcept C2524010 @default.
- W2950172039 hasConcept C26713055 @default.
- W2950172039 hasConcept C2779343474 @default.
- W2950172039 hasConcept C33923547 @default.
- W2950172039 hasConcept C41008148 @default.
- W2950172039 hasConcept C45374587 @default.
- W2950172039 hasConcept C55439883 @default.
- W2950172039 hasConcept C80444323 @default.
- W2950172039 hasConcept C86803240 @default.
- W2950172039 hasConceptScore W2950172039C108710211 @default.
- W2950172039 hasConceptScore W2950172039C11413529 @default.
- W2950172039 hasConceptScore W2950172039C151730666 @default.
- W2950172039 hasConceptScore W2950172039C162319229 @default.
- W2950172039 hasConceptScore W2950172039C199360897 @default.
- W2950172039 hasConceptScore W2950172039C203222032 @default.
- W2950172039 hasConceptScore W2950172039C20528329 @default.
- W2950172039 hasConceptScore W2950172039C2524010 @default.
- W2950172039 hasConceptScore W2950172039C26713055 @default.
- W2950172039 hasConceptScore W2950172039C2779343474 @default.
- W2950172039 hasConceptScore W2950172039C33923547 @default.
- W2950172039 hasConceptScore W2950172039C41008148 @default.
- W2950172039 hasConceptScore W2950172039C45374587 @default.
- W2950172039 hasConceptScore W2950172039C55439883 @default.
- W2950172039 hasConceptScore W2950172039C80444323 @default.
- W2950172039 hasConceptScore W2950172039C86803240 @default.
- W2950172039 hasLocation W29501720391 @default.
- W2950172039 hasOpenAccess W2950172039 @default.
- W2950172039 hasPrimaryLocation W29501720391 @default.
- W2950172039 hasRelatedWork W1717387230 @default.
- W2950172039 hasRelatedWork W1818449680 @default.
- W2950172039 hasRelatedWork W2017559473 @default.
- W2950172039 hasRelatedWork W2276468381 @default.
- W2950172039 hasRelatedWork W2293100135 @default.
- W2950172039 hasRelatedWork W2295204596 @default.
- W2950172039 hasRelatedWork W2580338579 @default.
- W2950172039 hasRelatedWork W2592567368 @default.
- W2950172039 hasRelatedWork W2596852931 @default.
- W2950172039 hasRelatedWork W2727990967 @default.
- W2950172039 hasRelatedWork W2731393287 @default.
- W2950172039 hasRelatedWork W2780745892 @default.
- W2950172039 hasRelatedWork W2787750560 @default.
- W2950172039 hasRelatedWork W2809337521 @default.
- W2950172039 hasRelatedWork W2896052140 @default.
- W2950172039 hasRelatedWork W2947389486 @default.
- W2950172039 hasRelatedWork W2964323844 @default.
- W2950172039 hasRelatedWork W2989289194 @default.
- W2950172039 hasRelatedWork W3043007004 @default.
- W2950172039 hasRelatedWork W995851627 @default.
- W2950172039 isParatext "false" @default.
- W2950172039 isRetracted "false" @default.
- W2950172039 magId "2950172039" @default.
- W2950172039 workType "article" @default.