Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895527274> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2895527274 endingPage "222" @default.
- W2895527274 startingPage "207" @default.
- W2895527274 abstract "A propositional logic of distributed protocols is introduced which includes both the logic of knowledge and temporal logic. Phenomena in distributed computing systems such as asynchronous time, incomplete knowledge by the computing agents in the system, and game-like behavior among the computing agents are all modeled in the logic. Two versions of the logic, the linear logic of protocols (LLP) and the tree logic of protocols (TLP) are investigated. The main result is that the set of valid formulas in LLP is undecidable." @default.
- W2895527274 created "2018-10-12" @default.
- W2895527274 creator A5007364145 @default.
- W2895527274 creator A5043369298 @default.
- W2895527274 date "1986-01-01" @default.
- W2895527274 modified "2023-09-23" @default.
- W2895527274 title "The Logic of Distributed Protocols" @default.
- W2895527274 cites W1572047767 @default.
- W2895527274 cites W1986355834 @default.
- W2895527274 cites W1988777029 @default.
- W2895527274 cites W2009844825 @default.
- W2895527274 cites W2041403185 @default.
- W2895527274 cites W2045456151 @default.
- W2895527274 cites W2053068495 @default.
- W2895527274 cites W2066219736 @default.
- W2895527274 cites W2069709605 @default.
- W2895527274 cites W2088135982 @default.
- W2895527274 cites W4251912342 @default.
- W2895527274 doi "https://doi.org/10.1016/b978-0-934613-04-0.50016-8" @default.
- W2895527274 hasPublicationYear "1986" @default.
- W2895527274 type Work @default.
- W2895527274 sameAs 2895527274 @default.
- W2895527274 citedByCount "46" @default.
- W2895527274 countsByYear W28955272742012 @default.
- W2895527274 countsByYear W28955272742013 @default.
- W2895527274 countsByYear W28955272742014 @default.
- W2895527274 countsByYear W28955272742016 @default.
- W2895527274 countsByYear W28955272742018 @default.
- W2895527274 countsByYear W28955272742019 @default.
- W2895527274 crossrefType "book-chapter" @default.
- W2895527274 hasAuthorship W2895527274A5007364145 @default.
- W2895527274 hasAuthorship W2895527274A5043369298 @default.
- W2895527274 hasBestOaLocation W28955272742 @default.
- W2895527274 hasConcept C102993220 @default.
- W2895527274 hasConcept C119599485 @default.
- W2895527274 hasConcept C127413603 @default.
- W2895527274 hasConcept C151319957 @default.
- W2895527274 hasConcept C153269930 @default.
- W2895527274 hasConcept C165801399 @default.
- W2895527274 hasConcept C172385210 @default.
- W2895527274 hasConcept C192034797 @default.
- W2895527274 hasConcept C198008173 @default.
- W2895527274 hasConcept C203659156 @default.
- W2895527274 hasConcept C25016198 @default.
- W2895527274 hasConcept C2777796570 @default.
- W2895527274 hasConcept C31258907 @default.
- W2895527274 hasConcept C3845977 @default.
- W2895527274 hasConcept C41008148 @default.
- W2895527274 hasConcept C4777664 @default.
- W2895527274 hasConcept C80444323 @default.
- W2895527274 hasConceptScore W2895527274C102993220 @default.
- W2895527274 hasConceptScore W2895527274C119599485 @default.
- W2895527274 hasConceptScore W2895527274C127413603 @default.
- W2895527274 hasConceptScore W2895527274C151319957 @default.
- W2895527274 hasConceptScore W2895527274C153269930 @default.
- W2895527274 hasConceptScore W2895527274C165801399 @default.
- W2895527274 hasConceptScore W2895527274C172385210 @default.
- W2895527274 hasConceptScore W2895527274C192034797 @default.
- W2895527274 hasConceptScore W2895527274C198008173 @default.
- W2895527274 hasConceptScore W2895527274C203659156 @default.
- W2895527274 hasConceptScore W2895527274C25016198 @default.
- W2895527274 hasConceptScore W2895527274C2777796570 @default.
- W2895527274 hasConceptScore W2895527274C31258907 @default.
- W2895527274 hasConceptScore W2895527274C3845977 @default.
- W2895527274 hasConceptScore W2895527274C41008148 @default.
- W2895527274 hasConceptScore W2895527274C4777664 @default.
- W2895527274 hasConceptScore W2895527274C80444323 @default.
- W2895527274 hasLocation W28955272741 @default.
- W2895527274 hasLocation W28955272742 @default.
- W2895527274 hasLocation W28955272743 @default.
- W2895527274 hasOpenAccess W2895527274 @default.
- W2895527274 hasPrimaryLocation W28955272741 @default.
- W2895527274 hasRelatedWork W1700264732 @default.
- W2895527274 hasRelatedWork W189948524 @default.
- W2895527274 hasRelatedWork W1968774860 @default.
- W2895527274 hasRelatedWork W2030926579 @default.
- W2895527274 hasRelatedWork W2151133852 @default.
- W2895527274 hasRelatedWork W2234817167 @default.
- W2895527274 hasRelatedWork W2378496094 @default.
- W2895527274 hasRelatedWork W2895527274 @default.
- W2895527274 hasRelatedWork W3201301 @default.
- W2895527274 hasRelatedWork W85200377 @default.
- W2895527274 isParatext "false" @default.
- W2895527274 isRetracted "false" @default.
- W2895527274 magId "2895527274" @default.
- W2895527274 workType "book-chapter" @default.