Matches in SemOpenAlex for { <https://semopenalex.org/work/W4252148547> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4252148547 abstract "We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interchange of transaction operations, and give proof rules for showing that an implementation satisfies this specification. This notion of an admissible interchange is a key to our ability to use a model checker, and lets us capture the various notions of transaction conflict as characterized by Scott. We demonstrate our work using the TLC model checker to verify several well-known implementations described abstractly in the TLA+ specification language." @default.
- W4252148547 created "2022-05-12" @default.
- W4252148547 creator A5004031220 @default.
- W4252148547 creator A5076189272 @default.
- W4252148547 creator A5078214635 @default.
- W4252148547 creator A5078227722 @default.
- W4252148547 creator A5085209877 @default.
- W4252148547 date "2007-11-01" @default.
- W4252148547 modified "2023-09-29" @default.
- W4252148547 title "Verifying Correctness of Transactional Memories" @default.
- W4252148547 cites W120333500 @default.
- W4252148547 cites W2060499019 @default.
- W4252148547 cites W2066680644 @default.
- W4252148547 cites W2092911542 @default.
- W4252148547 cites W2099537990 @default.
- W4252148547 cites W2129990308 @default.
- W4252148547 cites W2132107743 @default.
- W4252148547 cites W2149473197 @default.
- W4252148547 cites W2172064476 @default.
- W4252148547 cites W4205283737 @default.
- W4252148547 cites W4244583165 @default.
- W4252148547 cites W4312825855 @default.
- W4252148547 doi "https://doi.org/10.1109/famcad.2007.40" @default.
- W4252148547 hasPublicationYear "2007" @default.
- W4252148547 type Work @default.
- W4252148547 citedByCount "16" @default.
- W4252148547 countsByYear W42521485472012 @default.
- W4252148547 countsByYear W42521485472013 @default.
- W4252148547 countsByYear W42521485472018 @default.
- W4252148547 countsByYear W42521485472019 @default.
- W4252148547 countsByYear W42521485472021 @default.
- W4252148547 crossrefType "proceedings-article" @default.
- W4252148547 hasAuthorship W4252148547A5004031220 @default.
- W4252148547 hasAuthorship W4252148547A5076189272 @default.
- W4252148547 hasAuthorship W4252148547A5078214635 @default.
- W4252148547 hasAuthorship W4252148547A5078227722 @default.
- W4252148547 hasAuthorship W4252148547A5085209877 @default.
- W4252148547 hasBestOaLocation W42521485472 @default.
- W4252148547 hasConcept C110251889 @default.
- W4252148547 hasConcept C12186640 @default.
- W4252148547 hasConcept C133875982 @default.
- W4252148547 hasConcept C134277064 @default.
- W4252148547 hasConcept C15744967 @default.
- W4252148547 hasConcept C173608175 @default.
- W4252148547 hasConcept C199360897 @default.
- W4252148547 hasConcept C26713055 @default.
- W4252148547 hasConcept C41008148 @default.
- W4252148547 hasConcept C55439883 @default.
- W4252148547 hasConcept C68489960 @default.
- W4252148547 hasConcept C75949130 @default.
- W4252148547 hasConcept C77805123 @default.
- W4252148547 hasConcept C80444323 @default.
- W4252148547 hasConceptScore W4252148547C110251889 @default.
- W4252148547 hasConceptScore W4252148547C12186640 @default.
- W4252148547 hasConceptScore W4252148547C133875982 @default.
- W4252148547 hasConceptScore W4252148547C134277064 @default.
- W4252148547 hasConceptScore W4252148547C15744967 @default.
- W4252148547 hasConceptScore W4252148547C173608175 @default.
- W4252148547 hasConceptScore W4252148547C199360897 @default.
- W4252148547 hasConceptScore W4252148547C26713055 @default.
- W4252148547 hasConceptScore W4252148547C41008148 @default.
- W4252148547 hasConceptScore W4252148547C55439883 @default.
- W4252148547 hasConceptScore W4252148547C68489960 @default.
- W4252148547 hasConceptScore W4252148547C75949130 @default.
- W4252148547 hasConceptScore W4252148547C77805123 @default.
- W4252148547 hasConceptScore W4252148547C80444323 @default.
- W4252148547 hasLocation W42521485471 @default.
- W4252148547 hasLocation W42521485472 @default.
- W4252148547 hasOpenAccess W4252148547 @default.
- W4252148547 hasPrimaryLocation W42521485471 @default.
- W4252148547 hasRelatedWork W1157111100 @default.
- W4252148547 hasRelatedWork W1490121672 @default.
- W4252148547 hasRelatedWork W1985198438 @default.
- W4252148547 hasRelatedWork W2083338789 @default.
- W4252148547 hasRelatedWork W2097819278 @default.
- W4252148547 hasRelatedWork W2111134484 @default.
- W4252148547 hasRelatedWork W2134424614 @default.
- W4252148547 hasRelatedWork W2196446647 @default.
- W4252148547 hasRelatedWork W4232496381 @default.
- W4252148547 hasRelatedWork W4315631955 @default.
- W4252148547 isParatext "false" @default.
- W4252148547 isRetracted "false" @default.
- W4252148547 workType "article" @default.