Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162022306> ?p ?o ?g. }
- W2162022306 endingPage "43" @default.
- W2162022306 startingPage "1" @default.
- W2162022306 abstract "Linearisability is a key correctness criterion for concurrent data structures, ensuring that each history of the concurrent object under consideration is consistent with respect to a history of the corresponding abstract data structure. Linearisability allows concurrent (i.e., overlapping) operation calls to take effect in any order, but requires the real-time order of nonoverlapping to be preserved. The sophisticated nature of concurrent objects means that linearisability is difficult to judge, and hence, over the years, numerous techniques for verifying lineasizability have been developed using a variety of formal foundations such as data refinement, shape analysis, reduction, etc. However, because the underlying framework, nomenclature, and terminology for each method is different, it has become difficult for practitioners to evaluate the differences between each approach, and hence, evaluate the methodology most appropriate for verifying the data structure at hand. In this article, we compare the major of methods for verifying linearisability, describe the main contribution of each method, and compare their advantages and limitations." @default.
- W2162022306 created "2016-06-24" @default.
- W2162022306 creator A5012214843 @default.
- W2162022306 creator A5060549428 @default.
- W2162022306 date "2015-09-24" @default.
- W2162022306 modified "2023-10-18" @default.
- W2162022306 title "Verifying Linearisability" @default.
- W2162022306 cites W1496133442 @default.
- W2162022306 cites W1516270816 @default.
- W2162022306 cites W1553228708 @default.
- W2162022306 cites W1592246973 @default.
- W2162022306 cites W1594023774 @default.
- W2162022306 cites W1815021202 @default.
- W2162022306 cites W1818449680 @default.
- W2162022306 cites W1867941603 @default.
- W2162022306 cites W1964727056 @default.
- W2162022306 cites W1970628175 @default.
- W2162022306 cites W1971459700 @default.
- W2162022306 cites W1972955159 @default.
- W2162022306 cites W1981393723 @default.
- W2162022306 cites W1981439955 @default.
- W2162022306 cites W1986098737 @default.
- W2162022306 cites W1986732422 @default.
- W2162022306 cites W1996684662 @default.
- W2162022306 cites W1998133185 @default.
- W2162022306 cites W1999719510 @default.
- W2162022306 cites W2004419599 @default.
- W2162022306 cites W2008182922 @default.
- W2162022306 cites W2009600579 @default.
- W2162022306 cites W2015706098 @default.
- W2162022306 cites W2017559473 @default.
- W2162022306 cites W2020514554 @default.
- W2162022306 cites W2023603488 @default.
- W2162022306 cites W2029601347 @default.
- W2162022306 cites W2034535157 @default.
- W2162022306 cites W2034963261 @default.
- W2162022306 cites W2038189819 @default.
- W2162022306 cites W2048605787 @default.
- W2162022306 cites W2059074855 @default.
- W2162022306 cites W2063798543 @default.
- W2162022306 cites W2072062729 @default.
- W2162022306 cites W2082679906 @default.
- W2162022306 cites W2089064888 @default.
- W2162022306 cites W2090551028 @default.
- W2162022306 cites W2099899133 @default.
- W2162022306 cites W2101939036 @default.
- W2162022306 cites W2103524479 @default.
- W2162022306 cites W2115781455 @default.
- W2162022306 cites W2124945255 @default.
- W2162022306 cites W2126972034 @default.
- W2162022306 cites W2127717454 @default.
- W2162022306 cites W2132107743 @default.
- W2162022306 cites W2138927523 @default.
- W2162022306 cites W2139533136 @default.
- W2162022306 cites W2141494148 @default.
- W2162022306 cites W2146955740 @default.
- W2162022306 cites W2147760702 @default.
- W2162022306 cites W2153082529 @default.
- W2162022306 cites W2155487709 @default.
- W2162022306 cites W2157062942 @default.
- W2162022306 cites W2159392969 @default.
- W2162022306 cites W2166580349 @default.
- W2162022306 cites W2169289247 @default.
- W2162022306 cites W2169832991 @default.
- W2162022306 cites W2328819335 @default.
- W2162022306 cites W27871822 @default.
- W2162022306 cites W4229516390 @default.
- W2162022306 cites W4230121659 @default.
- W2162022306 cites W4236284099 @default.
- W2162022306 cites W4239018153 @default.
- W2162022306 cites W4241804335 @default.
- W2162022306 cites W52764018 @default.
- W2162022306 cites W71333976 @default.
- W2162022306 cites W97115092 @default.
- W2162022306 cites W2103082046 @default.
- W2162022306 doi "https://doi.org/10.1145/2796550" @default.
- W2162022306 hasPublicationYear "2015" @default.
- W2162022306 type Work @default.
- W2162022306 sameAs 2162022306 @default.
- W2162022306 citedByCount "31" @default.
- W2162022306 countsByYear W21620223062015 @default.
- W2162022306 countsByYear W21620223062016 @default.
- W2162022306 countsByYear W21620223062017 @default.
- W2162022306 countsByYear W21620223062018 @default.
- W2162022306 countsByYear W21620223062019 @default.
- W2162022306 countsByYear W21620223062020 @default.
- W2162022306 countsByYear W21620223062021 @default.
- W2162022306 countsByYear W21620223062022 @default.
- W2162022306 countsByYear W21620223062023 @default.
- W2162022306 crossrefType "journal-article" @default.
- W2162022306 hasAuthorship W2162022306A5012214843 @default.
- W2162022306 hasAuthorship W2162022306A5060549428 @default.
- W2162022306 hasBestOaLocation W21620223062 @default.
- W2162022306 hasConcept C136197465 @default.
- W2162022306 hasConcept C138885662 @default.
- W2162022306 hasConcept C154945302 @default.
- W2162022306 hasConcept C162319229 @default.
- W2162022306 hasConcept C193702766 @default.