Matches in SemOpenAlex for { <https://semopenalex.org/work/W133046216> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W133046216 abstract "A proof system for the correctness of parallel programs using knowledge in distributed systems is presented and proven sound and relatively complete with respect to a formal Kripke style semantics that supports truly concurrent computations." @default.
- W133046216 created "2016-06-24" @default.
- W133046216 creator A5015749813 @default.
- W133046216 creator A5087422732 @default.
- W133046216 date "1994-01-01" @default.
- W133046216 modified "2023-09-27" @default.
- W133046216 title "An Epistemic Proof System for Parallel Processes**A full version appeared as Technical Report No. 93-17." @default.
- W133046216 cites W1494976167 @default.
- W133046216 cites W1531751116 @default.
- W133046216 cites W1582760478 @default.
- W133046216 cites W1600348701 @default.
- W133046216 cites W162507138 @default.
- W133046216 cites W1964727056 @default.
- W133046216 cites W1984831616 @default.
- W133046216 cites W1988699312 @default.
- W133046216 cites W2000176482 @default.
- W133046216 cites W2007408338 @default.
- W133046216 cites W2060551365 @default.
- W133046216 cites W2067876829 @default.
- W133046216 cites W2073981447 @default.
- W133046216 cites W2110425399 @default.
- W133046216 cites W2159609157 @default.
- W133046216 cites W2164591125 @default.
- W133046216 doi "https://doi.org/10.1016/b978-1-4832-1453-5.50021-0" @default.
- W133046216 hasPublicationYear "1994" @default.
- W133046216 type Work @default.
- W133046216 sameAs 133046216 @default.
- W133046216 citedByCount "3" @default.
- W133046216 countsByYear W1330462162013 @default.
- W133046216 crossrefType "book-chapter" @default.
- W133046216 hasAuthorship W133046216A5015749813 @default.
- W133046216 hasAuthorship W133046216A5087422732 @default.
- W133046216 hasConcept C102993220 @default.
- W133046216 hasConcept C107247716 @default.
- W133046216 hasConcept C108710211 @default.
- W133046216 hasConcept C160131679 @default.
- W133046216 hasConcept C161913894 @default.
- W133046216 hasConcept C184337299 @default.
- W133046216 hasConcept C188045909 @default.
- W133046216 hasConcept C199360897 @default.
- W133046216 hasConcept C203265346 @default.
- W133046216 hasConcept C203659156 @default.
- W133046216 hasConcept C2318724 @default.
- W133046216 hasConcept C25016198 @default.
- W133046216 hasConcept C2524010 @default.
- W133046216 hasConcept C33923547 @default.
- W133046216 hasConcept C41008148 @default.
- W133046216 hasConcept C55439883 @default.
- W133046216 hasConcept C75949130 @default.
- W133046216 hasConcept C80444323 @default.
- W133046216 hasConceptScore W133046216C102993220 @default.
- W133046216 hasConceptScore W133046216C107247716 @default.
- W133046216 hasConceptScore W133046216C108710211 @default.
- W133046216 hasConceptScore W133046216C160131679 @default.
- W133046216 hasConceptScore W133046216C161913894 @default.
- W133046216 hasConceptScore W133046216C184337299 @default.
- W133046216 hasConceptScore W133046216C188045909 @default.
- W133046216 hasConceptScore W133046216C199360897 @default.
- W133046216 hasConceptScore W133046216C203265346 @default.
- W133046216 hasConceptScore W133046216C203659156 @default.
- W133046216 hasConceptScore W133046216C2318724 @default.
- W133046216 hasConceptScore W133046216C25016198 @default.
- W133046216 hasConceptScore W133046216C2524010 @default.
- W133046216 hasConceptScore W133046216C33923547 @default.
- W133046216 hasConceptScore W133046216C41008148 @default.
- W133046216 hasConceptScore W133046216C55439883 @default.
- W133046216 hasConceptScore W133046216C75949130 @default.
- W133046216 hasConceptScore W133046216C80444323 @default.
- W133046216 hasLocation W1330462161 @default.
- W133046216 hasOpenAccess W133046216 @default.
- W133046216 hasPrimaryLocation W1330462161 @default.
- W133046216 hasRelatedWork W1510484179 @default.
- W133046216 hasRelatedWork W1516646744 @default.
- W133046216 hasRelatedWork W1530448706 @default.
- W133046216 hasRelatedWork W1573627012 @default.
- W133046216 hasRelatedWork W1881765559 @default.
- W133046216 hasRelatedWork W1983425037 @default.
- W133046216 hasRelatedWork W2030178956 @default.
- W133046216 hasRelatedWork W2059896593 @default.
- W133046216 hasRelatedWork W2094372966 @default.
- W133046216 hasRelatedWork W2107997147 @default.
- W133046216 hasRelatedWork W2144738461 @default.
- W133046216 hasRelatedWork W2165163976 @default.
- W133046216 hasRelatedWork W2166573120 @default.
- W133046216 hasRelatedWork W2169894969 @default.
- W133046216 hasRelatedWork W2241711970 @default.
- W133046216 hasRelatedWork W2315216645 @default.
- W133046216 hasRelatedWork W2949624428 @default.
- W133046216 hasRelatedWork W3193129068 @default.
- W133046216 hasRelatedWork W47204537 @default.
- W133046216 hasRelatedWork W2510312343 @default.
- W133046216 isParatext "false" @default.
- W133046216 isRetracted "false" @default.
- W133046216 magId "133046216" @default.
- W133046216 workType "book-chapter" @default.