Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566263746> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1566263746 abstract "The languages DNP and TNP.- The semantics for TNP.- Correctness formulae.- Proof systems for TNP.- Completeness.- The Hoare and Invariant systems." @default.
- W1566263746 created "2016-06-24" @default.
- W1566263746 creator A5010277426 @default.
- W1566263746 date "1989-02-22" @default.
- W1566263746 modified "2023-10-06" @default.
- W1566263746 title "Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship" @default.
- W1566263746 hasPublicationYear "1989" @default.
- W1566263746 type Work @default.
- W1566263746 sameAs 1566263746 @default.
- W1566263746 citedByCount "9" @default.
- W1566263746 countsByYear W15662637462014 @default.
- W1566263746 countsByYear W15662637462016 @default.
- W1566263746 crossrefType "book" @default.
- W1566263746 hasAuthorship W1566263746A5010277426 @default.
- W1566263746 hasConcept C121375916 @default.
- W1566263746 hasConcept C154945302 @default.
- W1566263746 hasConcept C193702766 @default.
- W1566263746 hasConcept C199360897 @default.
- W1566263746 hasConcept C41008148 @default.
- W1566263746 hasConcept C55439883 @default.
- W1566263746 hasConceptScore W1566263746C121375916 @default.
- W1566263746 hasConceptScore W1566263746C154945302 @default.
- W1566263746 hasConceptScore W1566263746C193702766 @default.
- W1566263746 hasConceptScore W1566263746C199360897 @default.
- W1566263746 hasConceptScore W1566263746C41008148 @default.
- W1566263746 hasConceptScore W1566263746C55439883 @default.
- W1566263746 hasLocation W15662637461 @default.
- W1566263746 hasOpenAccess W1566263746 @default.
- W1566263746 hasPrimaryLocation W15662637461 @default.
- W1566263746 hasRelatedWork W1489503486 @default.
- W1566263746 hasRelatedWork W1503973138 @default.
- W1566263746 hasRelatedWork W1575841458 @default.
- W1566263746 hasRelatedWork W1589119013 @default.
- W1566263746 hasRelatedWork W1857327297 @default.
- W1566263746 hasRelatedWork W1964727056 @default.
- W1566263746 hasRelatedWork W1970495662 @default.
- W1566263746 hasRelatedWork W2001748564 @default.
- W1566263746 hasRelatedWork W2007408338 @default.
- W1566263746 hasRelatedWork W2038952689 @default.
- W1566263746 hasRelatedWork W2086070079 @default.
- W1566263746 hasRelatedWork W2102097307 @default.
- W1566263746 hasRelatedWork W2105601930 @default.
- W1566263746 hasRelatedWork W2134148399 @default.
- W1566263746 hasRelatedWork W2137865376 @default.
- W1566263746 hasRelatedWork W2157118812 @default.
- W1566263746 hasRelatedWork W25765579 @default.
- W1566263746 hasRelatedWork W3144368627 @default.
- W1566263746 hasRelatedWork W3146075203 @default.
- W1566263746 hasRelatedWork W80370608 @default.
- W1566263746 isParatext "false" @default.
- W1566263746 isRetracted "false" @default.
- W1566263746 magId "1566263746" @default.
- W1566263746 workType "book" @default.