Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912676451> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2912676451 abstract "We present a theorem for deriving properties of a concurrent program by reasoning about a simpler, coarser-grained version. The theorem generalizes a result that Lipton proved for partial correctness and deadlock-freedom. Our theorem applies to all safety properties." @default.
- W2912676451 created "2019-02-21" @default.
- W2912676451 creator A5021996655 @default.
- W2912676451 creator A5040623453 @default.
- W2912676451 date "1989-05-01" @default.
- W2912676451 modified "2023-09-27" @default.
- W2912676451 title "Pretending Atomicity" @default.
- W2912676451 cites W1964727056 @default.
- W2912676451 cites W1983409972 @default.
- W2912676451 cites W2072062729 @default.
- W2912676451 cites W2123464354 @default.
- W2912676451 cites W2132334337 @default.
- W2912676451 cites W2144738461 @default.
- W2912676451 cites W2147351452 @default.
- W2912676451 cites W2169035455 @default.
- W2912676451 cites W2914206182 @default.
- W2912676451 hasPublicationYear "1989" @default.
- W2912676451 type Work @default.
- W2912676451 sameAs 2912676451 @default.
- W2912676451 citedByCount "19" @default.
- W2912676451 countsByYear W29126764512012 @default.
- W2912676451 countsByYear W29126764512013 @default.
- W2912676451 countsByYear W29126764512014 @default.
- W2912676451 countsByYear W29126764512016 @default.
- W2912676451 countsByYear W29126764512017 @default.
- W2912676451 countsByYear W29126764512018 @default.
- W2912676451 crossrefType "journal-article" @default.
- W2912676451 hasAuthorship W2912676451A5021996655 @default.
- W2912676451 hasAuthorship W2912676451A5040623453 @default.
- W2912676451 hasConcept C118615104 @default.
- W2912676451 hasConcept C136119220 @default.
- W2912676451 hasConcept C159023740 @default.
- W2912676451 hasConcept C188045909 @default.
- W2912676451 hasConcept C199343813 @default.
- W2912676451 hasConcept C199360897 @default.
- W2912676451 hasConcept C202444582 @default.
- W2912676451 hasConcept C206880738 @default.
- W2912676451 hasConcept C2777686260 @default.
- W2912676451 hasConcept C33923547 @default.
- W2912676451 hasConcept C41008148 @default.
- W2912676451 hasConcept C55439883 @default.
- W2912676451 hasConcept C71924100 @default.
- W2912676451 hasConcept C75949130 @default.
- W2912676451 hasConcept C80444323 @default.
- W2912676451 hasConceptScore W2912676451C118615104 @default.
- W2912676451 hasConceptScore W2912676451C136119220 @default.
- W2912676451 hasConceptScore W2912676451C159023740 @default.
- W2912676451 hasConceptScore W2912676451C188045909 @default.
- W2912676451 hasConceptScore W2912676451C199343813 @default.
- W2912676451 hasConceptScore W2912676451C199360897 @default.
- W2912676451 hasConceptScore W2912676451C202444582 @default.
- W2912676451 hasConceptScore W2912676451C206880738 @default.
- W2912676451 hasConceptScore W2912676451C2777686260 @default.
- W2912676451 hasConceptScore W2912676451C33923547 @default.
- W2912676451 hasConceptScore W2912676451C41008148 @default.
- W2912676451 hasConceptScore W2912676451C55439883 @default.
- W2912676451 hasConceptScore W2912676451C71924100 @default.
- W2912676451 hasConceptScore W2912676451C75949130 @default.
- W2912676451 hasConceptScore W2912676451C80444323 @default.
- W2912676451 hasLocation W29126764511 @default.
- W2912676451 hasOpenAccess W2912676451 @default.
- W2912676451 hasPrimaryLocation W29126764511 @default.
- W2912676451 hasRelatedWork W1496148388 @default.
- W2912676451 hasRelatedWork W1570482200 @default.
- W2912676451 hasRelatedWork W1593488045 @default.
- W2912676451 hasRelatedWork W1857327297 @default.
- W2912676451 hasRelatedWork W1964727056 @default.
- W2912676451 hasRelatedWork W1972544179 @default.
- W2912676451 hasRelatedWork W2072062729 @default.
- W2912676451 hasRelatedWork W2082766667 @default.
- W2912676451 hasRelatedWork W2101939036 @default.
- W2912676451 hasRelatedWork W2102640269 @default.
- W2912676451 hasRelatedWork W2103957752 @default.
- W2912676451 hasRelatedWork W2109875364 @default.
- W2912676451 hasRelatedWork W2114346176 @default.
- W2912676451 hasRelatedWork W2141607910 @default.
- W2912676451 hasRelatedWork W2147351452 @default.
- W2912676451 hasRelatedWork W2157876236 @default.
- W2912676451 hasRelatedWork W2164063418 @default.
- W2912676451 hasRelatedWork W2168704035 @default.
- W2912676451 hasRelatedWork W2172255864 @default.
- W2912676451 hasRelatedWork W3144368627 @default.
- W2912676451 isParatext "false" @default.
- W2912676451 isRetracted "false" @default.
- W2912676451 magId "2912676451" @default.
- W2912676451 workType "article" @default.