Matches in SemOpenAlex for { <https://semopenalex.org/work/W2786183046> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2786183046 abstract "In the interleaving model of concurrency, where events are totally ordered, linearizability is compositional: the composition of two linearizable objects is guaranteed to be linearizable. However, linearizability is not compositional when events are only partially ordered, as in many weak-memory models that describe multicore memory systems. In this paper, we present causal linearizability, a correctness condition for concurrent objects implemented in weak-memory models. We abstract from the details of specific memory models by defining our condition using Lamport's execution structures. We apply our condition to the C11 memory model, providing a correctness condition for C11 objects. We develop a proof method for verifying objects implemented in C11 and related models. Our method is an adaptation of simulation-based methods, but in contrast to other such methods, it does not require that the implementation totally order its events. We also show that causal linearizability reduces to linearizability in the totally ordered case." @default.
- W2786183046 created "2018-02-23" @default.
- W2786183046 creator A5012214843 @default.
- W2786183046 creator A5046915601 @default.
- W2786183046 creator A5060549428 @default.
- W2786183046 creator A5075161500 @default.
- W2786183046 date "2018-02-06" @default.
- W2786183046 modified "2023-09-27" @default.
- W2786183046 title "Causal Linearizability: Compositionality for Partially Ordered Executions" @default.
- W2786183046 cites W1945229733 @default.
- W2786183046 cites W1983572666 @default.
- W2786183046 cites W2017559473 @default.
- W2786183046 cites W2043801088 @default.
- W2786183046 cites W2054739713 @default.
- W2786183046 cites W2091085450 @default.
- W2786183046 cites W2101939036 @default.
- W2786183046 cites W2128585185 @default.
- W2786183046 cites W2138074470 @default.
- W2786183046 cites W2162022306 @default.
- W2786183046 cites W2481004494 @default.
- W2786183046 cites W2626631502 @default.
- W2786183046 cites W2738891045 @default.
- W2786183046 cites W2775466596 @default.
- W2786183046 hasPublicationYear "2018" @default.
- W2786183046 type Work @default.
- W2786183046 sameAs 2786183046 @default.
- W2786183046 citedByCount "0" @default.
- W2786183046 crossrefType "posted-content" @default.
- W2786183046 hasAuthorship W2786183046A5012214843 @default.
- W2786183046 hasAuthorship W2786183046A5046915601 @default.
- W2786183046 hasAuthorship W2786183046A5060549428 @default.
- W2786183046 hasAuthorship W2786183046A5075161500 @default.
- W2786183046 hasConcept C111919701 @default.
- W2786183046 hasConcept C120314980 @default.
- W2786183046 hasConcept C121375916 @default.
- W2786183046 hasConcept C133875982 @default.
- W2786183046 hasConcept C154945302 @default.
- W2786183046 hasConcept C173608175 @default.
- W2786183046 hasConcept C193702766 @default.
- W2786183046 hasConcept C199360897 @default.
- W2786183046 hasConcept C20528329 @default.
- W2786183046 hasConcept C28034677 @default.
- W2786183046 hasConcept C41008148 @default.
- W2786183046 hasConcept C55439883 @default.
- W2786183046 hasConcept C80444323 @default.
- W2786183046 hasConceptScore W2786183046C111919701 @default.
- W2786183046 hasConceptScore W2786183046C120314980 @default.
- W2786183046 hasConceptScore W2786183046C121375916 @default.
- W2786183046 hasConceptScore W2786183046C133875982 @default.
- W2786183046 hasConceptScore W2786183046C154945302 @default.
- W2786183046 hasConceptScore W2786183046C173608175 @default.
- W2786183046 hasConceptScore W2786183046C193702766 @default.
- W2786183046 hasConceptScore W2786183046C199360897 @default.
- W2786183046 hasConceptScore W2786183046C20528329 @default.
- W2786183046 hasConceptScore W2786183046C28034677 @default.
- W2786183046 hasConceptScore W2786183046C41008148 @default.
- W2786183046 hasConceptScore W2786183046C55439883 @default.
- W2786183046 hasConceptScore W2786183046C80444323 @default.
- W2786183046 hasLocation W27861830461 @default.
- W2786183046 hasOpenAccess W2786183046 @default.
- W2786183046 hasPrimaryLocation W27861830461 @default.
- W2786183046 hasRelatedWork W1717387230 @default.
- W2786183046 hasRelatedWork W1818449680 @default.
- W2786183046 hasRelatedWork W1993284798 @default.
- W2786183046 hasRelatedWork W2017559473 @default.
- W2786183046 hasRelatedWork W2145919405 @default.
- W2786183046 hasRelatedWork W2276468381 @default.
- W2786183046 hasRelatedWork W2293100135 @default.
- W2786183046 hasRelatedWork W2293847997 @default.
- W2786183046 hasRelatedWork W2295204596 @default.
- W2786183046 hasRelatedWork W2588661182 @default.
- W2786183046 hasRelatedWork W2744701054 @default.
- W2786183046 hasRelatedWork W2780745892 @default.
- W2786183046 hasRelatedWork W2787750560 @default.
- W2786183046 hasRelatedWork W2887304561 @default.
- W2786183046 hasRelatedWork W2900684180 @default.
- W2786183046 hasRelatedWork W2937362621 @default.
- W2786183046 hasRelatedWork W2964323844 @default.
- W2786183046 hasRelatedWork W2982706767 @default.
- W2786183046 hasRelatedWork W2989289194 @default.
- W2786183046 hasRelatedWork W3043007004 @default.
- W2786183046 isParatext "false" @default.
- W2786183046 isRetracted "false" @default.
- W2786183046 magId "2786183046" @default.
- W2786183046 workType "article" @default.