Matches in SemOpenAlex for { <https://semopenalex.org/work/W93882825> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W93882825 endingPage "274" @default.
- W93882825 startingPage "259" @default.
- W93882825 abstract "In this paper we show how to write precise specifications for coherent and incoherent memory, and how to implement coherent memory in several ways, one of which is on top of incoherent memory. Our technique for showing the correctness of the implementations is the abstraction function introduced by Hoare to handle abstract data types. A decade later, Lamport and Lynch extended Hoare’s methods to concurrent systems like the ones we treat." @default.
- W93882825 created "2016-06-24" @default.
- W93882825 creator A5016537999 @default.
- W93882825 date "1994-01-11" @default.
- W93882825 modified "2023-09-23" @default.
- W93882825 title "Implementing coherent memory" @default.
- W93882825 hasPublicationYear "1994" @default.
- W93882825 type Work @default.
- W93882825 sameAs 93882825 @default.
- W93882825 citedByCount "0" @default.
- W93882825 crossrefType "book" @default.
- W93882825 hasAuthorship W93882825A5016537999 @default.
- W93882825 hasConcept C104949639 @default.
- W93882825 hasConcept C111472728 @default.
- W93882825 hasConcept C124304363 @default.
- W93882825 hasConcept C138885662 @default.
- W93882825 hasConcept C199360897 @default.
- W93882825 hasConcept C26713055 @default.
- W93882825 hasConcept C41008148 @default.
- W93882825 hasConcept C55439883 @default.
- W93882825 hasConcept C80444323 @default.
- W93882825 hasConceptScore W93882825C104949639 @default.
- W93882825 hasConceptScore W93882825C111472728 @default.
- W93882825 hasConceptScore W93882825C124304363 @default.
- W93882825 hasConceptScore W93882825C138885662 @default.
- W93882825 hasConceptScore W93882825C199360897 @default.
- W93882825 hasConceptScore W93882825C26713055 @default.
- W93882825 hasConceptScore W93882825C41008148 @default.
- W93882825 hasConceptScore W93882825C55439883 @default.
- W93882825 hasConceptScore W93882825C80444323 @default.
- W93882825 hasLocation W938828251 @default.
- W93882825 hasOpenAccess W93882825 @default.
- W93882825 hasPrimaryLocation W938828251 @default.
- W93882825 hasRelatedWork W1512985475 @default.
- W93882825 hasRelatedWork W1528810230 @default.
- W93882825 hasRelatedWork W1541537810 @default.
- W93882825 hasRelatedWork W1581466971 @default.
- W93882825 hasRelatedWork W1974583144 @default.
- W93882825 hasRelatedWork W2043078265 @default.
- W93882825 hasRelatedWork W2062653699 @default.
- W93882825 hasRelatedWork W2081001149 @default.
- W93882825 hasRelatedWork W2127717454 @default.
- W93882825 hasRelatedWork W2129935605 @default.
- W93882825 hasRelatedWork W2155062053 @default.
- W93882825 hasRelatedWork W2157257293 @default.
- W93882825 hasRelatedWork W2181923524 @default.
- W93882825 hasRelatedWork W2463984028 @default.
- W93882825 hasRelatedWork W2952092761 @default.
- W93882825 hasRelatedWork W3020973583 @default.
- W93882825 hasRelatedWork W3098546564 @default.
- W93882825 hasRelatedWork W3199853656 @default.
- W93882825 hasRelatedWork W1894736207 @default.
- W93882825 hasRelatedWork W2132396668 @default.
- W93882825 isParatext "false" @default.
- W93882825 isRetracted "false" @default.
- W93882825 magId "93882825" @default.
- W93882825 workType "book" @default.