Matches in SemOpenAlex for { <https://semopenalex.org/work/W2147336822> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2147336822 abstract "This paper presents adaptations of the Hoare triple for reasoning about concurrent programs. The rules for the Hoare triple, familiar to programmers from their experience with sequential programming, can be applied to develop proofs of concurrent programs as well. The basis for the adaptations of the Hoare triple is temporal logic." @default.
- W2147336822 created "2016-06-24" @default.
- W2147336822 creator A5033569113 @default.
- W2147336822 date "1993-01-20" @default.
- W2147336822 modified "2023-09-25" @default.
- W2147336822 title "Using Triples to Reason About Concurrent Programs" @default.
- W2147336822 doi "https://doi.org/10.21236/ada444448" @default.
- W2147336822 hasPublicationYear "1993" @default.
- W2147336822 type Work @default.
- W2147336822 sameAs 2147336822 @default.
- W2147336822 citedByCount "1" @default.
- W2147336822 crossrefType "report" @default.
- W2147336822 hasAuthorship W2147336822A5033569113 @default.
- W2147336822 hasBestOaLocation W21473368222 @default.
- W2147336822 hasConcept C104949639 @default.
- W2147336822 hasConcept C108710211 @default.
- W2147336822 hasConcept C156325763 @default.
- W2147336822 hasConcept C173856430 @default.
- W2147336822 hasConcept C184337299 @default.
- W2147336822 hasConcept C193702766 @default.
- W2147336822 hasConcept C199360897 @default.
- W2147336822 hasConcept C207648694 @default.
- W2147336822 hasConcept C2524010 @default.
- W2147336822 hasConcept C33923547 @default.
- W2147336822 hasConcept C41008148 @default.
- W2147336822 hasConcept C55439883 @default.
- W2147336822 hasConcept C58041814 @default.
- W2147336822 hasConcept C80444323 @default.
- W2147336822 hasConceptScore W2147336822C104949639 @default.
- W2147336822 hasConceptScore W2147336822C108710211 @default.
- W2147336822 hasConceptScore W2147336822C156325763 @default.
- W2147336822 hasConceptScore W2147336822C173856430 @default.
- W2147336822 hasConceptScore W2147336822C184337299 @default.
- W2147336822 hasConceptScore W2147336822C193702766 @default.
- W2147336822 hasConceptScore W2147336822C199360897 @default.
- W2147336822 hasConceptScore W2147336822C207648694 @default.
- W2147336822 hasConceptScore W2147336822C2524010 @default.
- W2147336822 hasConceptScore W2147336822C33923547 @default.
- W2147336822 hasConceptScore W2147336822C41008148 @default.
- W2147336822 hasConceptScore W2147336822C55439883 @default.
- W2147336822 hasConceptScore W2147336822C58041814 @default.
- W2147336822 hasConceptScore W2147336822C80444323 @default.
- W2147336822 hasLocation W21473368221 @default.
- W2147336822 hasLocation W21473368222 @default.
- W2147336822 hasOpenAccess W2147336822 @default.
- W2147336822 hasPrimaryLocation W21473368221 @default.
- W2147336822 hasRelatedWork W1499084894 @default.
- W2147336822 hasRelatedWork W1501751099 @default.
- W2147336822 hasRelatedWork W151144758 @default.
- W2147336822 hasRelatedWork W1534873390 @default.
- W2147336822 hasRelatedWork W1538921948 @default.
- W2147336822 hasRelatedWork W1816310522 @default.
- W2147336822 hasRelatedWork W1885402555 @default.
- W2147336822 hasRelatedWork W2053384008 @default.
- W2147336822 hasRelatedWork W2121389878 @default.
- W2147336822 hasRelatedWork W2123709269 @default.
- W2147336822 hasRelatedWork W2123753392 @default.
- W2147336822 hasRelatedWork W2132981613 @default.
- W2147336822 hasRelatedWork W2137054551 @default.
- W2147336822 hasRelatedWork W2146293637 @default.
- W2147336822 hasRelatedWork W2152493519 @default.
- W2147336822 hasRelatedWork W2161332741 @default.
- W2147336822 hasRelatedWork W2513163031 @default.
- W2147336822 hasRelatedWork W3000431583 @default.
- W2147336822 hasRelatedWork W319349425 @default.
- W2147336822 hasRelatedWork W2152851381 @default.
- W2147336822 isParatext "false" @default.
- W2147336822 isRetracted "false" @default.
- W2147336822 magId "2147336822" @default.
- W2147336822 workType "report" @default.