Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244828400> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4244828400 endingPage "79" @default.
- W4244828400 startingPage "79" @default.
- W4244828400 abstract "In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A fundamental correctness property for such programs is atomicity---a block of code in a program is atomic if, for any parallel execution of the program, there is an execution with the same overall program behavior in which the block is executed serially." @default.
- W4244828400 created "2022-05-12" @default.
- W4244828400 creator A5025169716 @default.
- W4244828400 creator A5049483484 @default.
- W4244828400 creator A5072031454 @default.
- W4244828400 date "2012-06-01" @default.
- W4244828400 modified "2023-10-18" @default.
- W4244828400 title "Specifying and checking semantic atomicity for multithreaded programs" @default.
- W4244828400 doi "https://doi.org/10.1145/2248487.1950377" @default.
- W4244828400 hasPublicationYear "2012" @default.
- W4244828400 type Work @default.
- W4244828400 citedByCount "0" @default.
- W4244828400 crossrefType "journal-article" @default.
- W4244828400 hasAuthorship W4244828400A5025169716 @default.
- W4244828400 hasAuthorship W4244828400A5049483484 @default.
- W4244828400 hasAuthorship W4244828400A5072031454 @default.
- W4244828400 hasConcept C173608175 @default.
- W4244828400 hasConcept C176181172 @default.
- W4244828400 hasConcept C177264268 @default.
- W4244828400 hasConcept C188045909 @default.
- W4244828400 hasConcept C193702766 @default.
- W4244828400 hasConcept C199360897 @default.
- W4244828400 hasConcept C2524010 @default.
- W4244828400 hasConcept C2776760102 @default.
- W4244828400 hasConcept C2777210771 @default.
- W4244828400 hasConcept C33923547 @default.
- W4244828400 hasConcept C41008148 @default.
- W4244828400 hasConcept C55439883 @default.
- W4244828400 hasConcept C75949130 @default.
- W4244828400 hasConcept C80444323 @default.
- W4244828400 hasConceptScore W4244828400C173608175 @default.
- W4244828400 hasConceptScore W4244828400C176181172 @default.
- W4244828400 hasConceptScore W4244828400C177264268 @default.
- W4244828400 hasConceptScore W4244828400C188045909 @default.
- W4244828400 hasConceptScore W4244828400C193702766 @default.
- W4244828400 hasConceptScore W4244828400C199360897 @default.
- W4244828400 hasConceptScore W4244828400C2524010 @default.
- W4244828400 hasConceptScore W4244828400C2776760102 @default.
- W4244828400 hasConceptScore W4244828400C2777210771 @default.
- W4244828400 hasConceptScore W4244828400C33923547 @default.
- W4244828400 hasConceptScore W4244828400C41008148 @default.
- W4244828400 hasConceptScore W4244828400C55439883 @default.
- W4244828400 hasConceptScore W4244828400C75949130 @default.
- W4244828400 hasConceptScore W4244828400C80444323 @default.
- W4244828400 hasIssue "4" @default.
- W4244828400 hasLocation W42448284001 @default.
- W4244828400 hasOpenAccess W4244828400 @default.
- W4244828400 hasPrimaryLocation W42448284001 @default.
- W4244828400 hasRelatedWork W1666418873 @default.
- W4244828400 hasRelatedWork W2023785576 @default.
- W4244828400 hasRelatedWork W2112401557 @default.
- W4244828400 hasRelatedWork W2776953575 @default.
- W4244828400 hasRelatedWork W297132765 @default.
- W4244828400 hasRelatedWork W2998398829 @default.
- W4244828400 hasRelatedWork W3123013810 @default.
- W4244828400 hasRelatedWork W4242582541 @default.
- W4244828400 hasRelatedWork W4244828400 @default.
- W4244828400 hasRelatedWork W4293735770 @default.
- W4244828400 hasVolume "47" @default.
- W4244828400 isParatext "false" @default.
- W4244828400 isRetracted "false" @default.
- W4244828400 workType "article" @default.