Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966273654> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1966273654 endingPage "33" @default.
- W1966273654 startingPage "19" @default.
- W1966273654 abstract "We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a temporary store where the memory operations issued by the threads are recorded, in program order. A memory model then specifies the conditions under which a pending operation from this sequence is allowed to be globally performed, possibly out of order. The memory model also involves a write grain, accounting for architectures where a thread may read a write that is not yet globally visible. Our formal model is supported by a software simulator, allowing us to run litmus tests in our semantics." @default.
- W1966273654 created "2016-06-24" @default.
- W1966273654 creator A5041946785 @default.
- W1966273654 creator A5071221220 @default.
- W1966273654 creator A5088681238 @default.
- W1966273654 date "2012-08-12" @default.
- W1966273654 modified "2023-10-17" @default.
- W1966273654 title "Relaxed Operational Semantics of Concurrent Programming Languages" @default.
- W1966273654 cites W123460966 @default.
- W1966273654 cites W1498264241 @default.
- W1966273654 cites W1541537810 @default.
- W1966273654 cites W2029601347 @default.
- W1966273654 cites W2054739713 @default.
- W1966273654 cites W2085773946 @default.
- W1966273654 cites W2091085450 @default.
- W1966273654 cites W2104245532 @default.
- W1966273654 cites W2138074470 @default.
- W1966273654 cites W2152885346 @default.
- W1966273654 cites W2160963348 @default.
- W1966273654 cites W2164288303 @default.
- W1966273654 cites W3004250778 @default.
- W1966273654 cites W4230333905 @default.
- W1966273654 cites W4240322740 @default.
- W1966273654 doi "https://doi.org/10.4204/eptcs.89.3" @default.
- W1966273654 hasPublicationYear "2012" @default.
- W1966273654 type Work @default.
- W1966273654 sameAs 1966273654 @default.
- W1966273654 citedByCount "11" @default.
- W1966273654 countsByYear W19662736542014 @default.
- W1966273654 countsByYear W19662736542016 @default.
- W1966273654 countsByYear W19662736542017 @default.
- W1966273654 countsByYear W19662736542018 @default.
- W1966273654 countsByYear W19662736542021 @default.
- W1966273654 crossrefType "journal-article" @default.
- W1966273654 hasAuthorship W1966273654A5041946785 @default.
- W1966273654 hasAuthorship W1966273654A5071221220 @default.
- W1966273654 hasAuthorship W1966273654A5088681238 @default.
- W1966273654 hasBestOaLocation W19662736541 @default.
- W1966273654 hasConcept C111919701 @default.
- W1966273654 hasConcept C12186640 @default.
- W1966273654 hasConcept C133875982 @default.
- W1966273654 hasConcept C138101251 @default.
- W1966273654 hasConcept C146499914 @default.
- W1966273654 hasConcept C147789679 @default.
- W1966273654 hasConcept C156325763 @default.
- W1966273654 hasConcept C157329479 @default.
- W1966273654 hasConcept C184337299 @default.
- W1966273654 hasConcept C185592680 @default.
- W1966273654 hasConcept C199360897 @default.
- W1966273654 hasConcept C41008148 @default.
- W1966273654 hasConceptScore W1966273654C111919701 @default.
- W1966273654 hasConceptScore W1966273654C12186640 @default.
- W1966273654 hasConceptScore W1966273654C133875982 @default.
- W1966273654 hasConceptScore W1966273654C138101251 @default.
- W1966273654 hasConceptScore W1966273654C146499914 @default.
- W1966273654 hasConceptScore W1966273654C147789679 @default.
- W1966273654 hasConceptScore W1966273654C156325763 @default.
- W1966273654 hasConceptScore W1966273654C157329479 @default.
- W1966273654 hasConceptScore W1966273654C184337299 @default.
- W1966273654 hasConceptScore W1966273654C185592680 @default.
- W1966273654 hasConceptScore W1966273654C199360897 @default.
- W1966273654 hasConceptScore W1966273654C41008148 @default.
- W1966273654 hasLocation W19662736541 @default.
- W1966273654 hasLocation W19662736542 @default.
- W1966273654 hasLocation W19662736543 @default.
- W1966273654 hasLocation W19662736544 @default.
- W1966273654 hasOpenAccess W1966273654 @default.
- W1966273654 hasPrimaryLocation W19662736541 @default.
- W1966273654 hasRelatedWork W2097810778 @default.
- W1966273654 hasRelatedWork W2106305471 @default.
- W1966273654 hasRelatedWork W2109918761 @default.
- W1966273654 hasRelatedWork W2124431509 @default.
- W1966273654 hasRelatedWork W2140308057 @default.
- W1966273654 hasRelatedWork W2146445117 @default.
- W1966273654 hasRelatedWork W2362341649 @default.
- W1966273654 hasRelatedWork W2975333801 @default.
- W1966273654 hasRelatedWork W3000438711 @default.
- W1966273654 hasRelatedWork W3183513857 @default.
- W1966273654 hasVolume "89" @default.
- W1966273654 isParatext "false" @default.
- W1966273654 isRetracted "false" @default.
- W1966273654 magId "1966273654" @default.
- W1966273654 workType "article" @default.