Matches in SemOpenAlex for { <https://semopenalex.org/work/W1588468239> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1588468239 abstract "An algorithm for Software Transactional Memory (STM) is correct if it guarantees a proclaimed degree of isolation between concurrently executing transactions. A correctness proof requires explicit modeling of the effects of transaction bodies and the nondeterministic scheduling of their operations.We provide a formalization of an STM algorithm that is explicit about all aspects required for a correctness proof: effects of operations, nondeterminism, and modeling rollback. We prove that this algorithm is correct by showing that it implements opacity." @default.
- W1588468239 created "2016-06-24" @default.
- W1588468239 creator A5000384936 @default.
- W1588468239 creator A5050660693 @default.
- W1588468239 date "2011-01-01" @default.
- W1588468239 modified "2023-09-28" @default.
- W1588468239 title "Proving Isolation Properties for Software Transactional Memory" @default.
- W1588468239 cites W1542975293 @default.
- W1588468239 cites W1980939032 @default.
- W1588468239 cites W2043078265 @default.
- W1588468239 cites W2072062729 @default.
- W1588468239 cites W2094222793 @default.
- W1588468239 cites W2117917070 @default.
- W1588468239 cites W2122139510 @default.
- W1588468239 cites W2128585185 @default.
- W1588468239 doi "https://doi.org/10.1007/978-3-642-19718-5_3" @default.
- W1588468239 hasPublicationYear "2011" @default.
- W1588468239 type Work @default.
- W1588468239 sameAs 1588468239 @default.
- W1588468239 citedByCount "2" @default.
- W1588468239 countsByYear W15884682392019 @default.
- W1588468239 crossrefType "book-chapter" @default.
- W1588468239 hasAuthorship W1588468239A5000384936 @default.
- W1588468239 hasAuthorship W1588468239A5050660693 @default.
- W1588468239 hasBestOaLocation W15884682391 @default.
- W1588468239 hasConcept C11413529 @default.
- W1588468239 hasConcept C120314980 @default.
- W1588468239 hasConcept C134277064 @default.
- W1588468239 hasConcept C167149655 @default.
- W1588468239 hasConcept C173608175 @default.
- W1588468239 hasConcept C174220543 @default.
- W1588468239 hasConcept C199360897 @default.
- W1588468239 hasConcept C2775941552 @default.
- W1588468239 hasConcept C41008148 @default.
- W1588468239 hasConcept C55439883 @default.
- W1588468239 hasConcept C72108876 @default.
- W1588468239 hasConcept C75949130 @default.
- W1588468239 hasConcept C80444323 @default.
- W1588468239 hasConcept C86803240 @default.
- W1588468239 hasConcept C89423630 @default.
- W1588468239 hasConceptScore W1588468239C11413529 @default.
- W1588468239 hasConceptScore W1588468239C120314980 @default.
- W1588468239 hasConceptScore W1588468239C134277064 @default.
- W1588468239 hasConceptScore W1588468239C167149655 @default.
- W1588468239 hasConceptScore W1588468239C173608175 @default.
- W1588468239 hasConceptScore W1588468239C174220543 @default.
- W1588468239 hasConceptScore W1588468239C199360897 @default.
- W1588468239 hasConceptScore W1588468239C2775941552 @default.
- W1588468239 hasConceptScore W1588468239C41008148 @default.
- W1588468239 hasConceptScore W1588468239C55439883 @default.
- W1588468239 hasConceptScore W1588468239C72108876 @default.
- W1588468239 hasConceptScore W1588468239C75949130 @default.
- W1588468239 hasConceptScore W1588468239C80444323 @default.
- W1588468239 hasConceptScore W1588468239C86803240 @default.
- W1588468239 hasConceptScore W1588468239C89423630 @default.
- W1588468239 hasLocation W15884682391 @default.
- W1588468239 hasOpenAccess W1588468239 @default.
- W1588468239 hasPrimaryLocation W15884682391 @default.
- W1588468239 hasRelatedWork W1511597195 @default.
- W1588468239 hasRelatedWork W1560394043 @default.
- W1588468239 hasRelatedWork W1761177680 @default.
- W1588468239 hasRelatedWork W1823360320 @default.
- W1588468239 hasRelatedWork W1839598956 @default.
- W1588468239 hasRelatedWork W2077571050 @default.
- W1588468239 hasRelatedWork W2094175977 @default.
- W1588468239 hasRelatedWork W2115677563 @default.
- W1588468239 hasRelatedWork W2128585185 @default.
- W1588468239 hasRelatedWork W2129990308 @default.
- W1588468239 hasRelatedWork W2140318192 @default.
- W1588468239 hasRelatedWork W2149282043 @default.
- W1588468239 hasRelatedWork W2158518406 @default.
- W1588468239 hasRelatedWork W2174306348 @default.
- W1588468239 hasRelatedWork W2529700130 @default.
- W1588468239 hasRelatedWork W2777716674 @default.
- W1588468239 hasRelatedWork W2804345031 @default.
- W1588468239 hasRelatedWork W3016392151 @default.
- W1588468239 hasRelatedWork W2008219889 @default.
- W1588468239 hasRelatedWork W2181670131 @default.
- W1588468239 isParatext "false" @default.
- W1588468239 isRetracted "false" @default.
- W1588468239 magId "1588468239" @default.
- W1588468239 workType "book-chapter" @default.