Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898869189> ?p ?o ?g. }
- W2898869189 endingPage "330" @default.
- W2898869189 startingPage "312" @default.
- W2898869189 abstract "This paper contributes to exploring the connection between epistemic knowledge and communication complexity in distributed systems. We focus on Action Models, a well-known variant of dynamic epistemic logic, which allows to cleanly separate the state of knowledge of the processes and its update due to communication actions: Exactly like the set of possible global states, the possible actions are described by means of a Kripke model that specifies which communication actions are indistinguishable for which process. We first show that the number of connected components in the action model results in a lower bound for communication complexity. We then apply this result, in the restricted setting of a two processor system, for determining communication complexity lower bounds for solving a distributed computing problem $$mathcal {P}$$ : We first determine some properties of the action model corresponding to any given protocol that solves $$mathcal {P}$$ , and then use our action model communication complexity lower bounds. Finally, we demonstrate our approach by applying it to synchronous distributed function computation and to a simple instance of consensus in directed dynamic networks." @default.
- W2898869189 created "2018-11-09" @default.
- W2898869189 creator A5006249454 @default.
- W2898869189 creator A5038895748 @default.
- W2898869189 date "2018-01-01" @default.
- W2898869189 modified "2023-10-10" @default.
- W2898869189 title "On Knowledge and Communication Complexity in Distributed Systems" @default.
- W2898869189 cites W1579488146 @default.
- W2898869189 cites W1824735455 @default.
- W2898869189 cites W1977127383 @default.
- W2898869189 cites W2002501531 @default.
- W2898869189 cites W2022205872 @default.
- W2898869189 cites W2045771160 @default.
- W2898869189 cites W2048098617 @default.
- W2898869189 cites W2063031064 @default.
- W2898869189 cites W2096959337 @default.
- W2898869189 cites W2159131252 @default.
- W2898869189 cites W2789563213 @default.
- W2898869189 cites W3138118222 @default.
- W2898869189 doi "https://doi.org/10.1007/978-3-030-01325-7_27" @default.
- W2898869189 hasPublicationYear "2018" @default.
- W2898869189 type Work @default.
- W2898869189 sameAs 2898869189 @default.
- W2898869189 citedByCount "3" @default.
- W2898869189 countsByYear W28988691892020 @default.
- W2898869189 countsByYear W28988691892021 @default.
- W2898869189 crossrefType "book-chapter" @default.
- W2898869189 hasAuthorship W2898869189A5006249454 @default.
- W2898869189 hasAuthorship W2898869189A5038895748 @default.
- W2898869189 hasBestOaLocation W28988691892 @default.
- W2898869189 hasConcept C102993220 @default.
- W2898869189 hasConcept C107247716 @default.
- W2898869189 hasConcept C111472728 @default.
- W2898869189 hasConcept C111919701 @default.
- W2898869189 hasConcept C11413529 @default.
- W2898869189 hasConcept C120314980 @default.
- W2898869189 hasConcept C120665830 @default.
- W2898869189 hasConcept C121332964 @default.
- W2898869189 hasConcept C12269588 @default.
- W2898869189 hasConcept C134306372 @default.
- W2898869189 hasConcept C138885662 @default.
- W2898869189 hasConcept C14036430 @default.
- W2898869189 hasConcept C142724271 @default.
- W2898869189 hasConcept C144024400 @default.
- W2898869189 hasConcept C158156997 @default.
- W2898869189 hasConcept C177264268 @default.
- W2898869189 hasConcept C179145077 @default.
- W2898869189 hasConcept C179799912 @default.
- W2898869189 hasConcept C192126672 @default.
- W2898869189 hasConcept C192209626 @default.
- W2898869189 hasConcept C199360897 @default.
- W2898869189 hasConcept C203659156 @default.
- W2898869189 hasConcept C204787440 @default.
- W2898869189 hasConcept C2780385302 @default.
- W2898869189 hasConcept C2780586882 @default.
- W2898869189 hasConcept C2780791683 @default.
- W2898869189 hasConcept C31258907 @default.
- W2898869189 hasConcept C33923547 @default.
- W2898869189 hasConcept C41008148 @default.
- W2898869189 hasConcept C45374587 @default.
- W2898869189 hasConcept C46312422 @default.
- W2898869189 hasConcept C48103436 @default.
- W2898869189 hasConcept C62520636 @default.
- W2898869189 hasConcept C71924100 @default.
- W2898869189 hasConcept C77553402 @default.
- W2898869189 hasConcept C78458016 @default.
- W2898869189 hasConcept C80444323 @default.
- W2898869189 hasConcept C86803240 @default.
- W2898869189 hasConcept C98045186 @default.
- W2898869189 hasConceptScore W2898869189C102993220 @default.
- W2898869189 hasConceptScore W2898869189C107247716 @default.
- W2898869189 hasConceptScore W2898869189C111472728 @default.
- W2898869189 hasConceptScore W2898869189C111919701 @default.
- W2898869189 hasConceptScore W2898869189C11413529 @default.
- W2898869189 hasConceptScore W2898869189C120314980 @default.
- W2898869189 hasConceptScore W2898869189C120665830 @default.
- W2898869189 hasConceptScore W2898869189C121332964 @default.
- W2898869189 hasConceptScore W2898869189C12269588 @default.
- W2898869189 hasConceptScore W2898869189C134306372 @default.
- W2898869189 hasConceptScore W2898869189C138885662 @default.
- W2898869189 hasConceptScore W2898869189C14036430 @default.
- W2898869189 hasConceptScore W2898869189C142724271 @default.
- W2898869189 hasConceptScore W2898869189C144024400 @default.
- W2898869189 hasConceptScore W2898869189C158156997 @default.
- W2898869189 hasConceptScore W2898869189C177264268 @default.
- W2898869189 hasConceptScore W2898869189C179145077 @default.
- W2898869189 hasConceptScore W2898869189C179799912 @default.
- W2898869189 hasConceptScore W2898869189C192126672 @default.
- W2898869189 hasConceptScore W2898869189C192209626 @default.
- W2898869189 hasConceptScore W2898869189C199360897 @default.
- W2898869189 hasConceptScore W2898869189C203659156 @default.
- W2898869189 hasConceptScore W2898869189C204787440 @default.
- W2898869189 hasConceptScore W2898869189C2780385302 @default.
- W2898869189 hasConceptScore W2898869189C2780586882 @default.
- W2898869189 hasConceptScore W2898869189C2780791683 @default.
- W2898869189 hasConceptScore W2898869189C31258907 @default.
- W2898869189 hasConceptScore W2898869189C33923547 @default.
- W2898869189 hasConceptScore W2898869189C41008148 @default.