Yoram Moses |
Wed 05 Sep 2018, 15:00 - 16:00 |
MF2, School of Informatics |
If you have a question about this talk, please contact: Bob Fisher (rbf)
A reception in MF2.
Indistinguishablity is a fundamental notion in distributed
systems. It serves as the central tool in impossibility proofs and lower
bounds. Indeed, indistinguishability can be used to determine when actions
are disallowed. Its dual, which corresponds to the knowledge that a process
has, plays the opposite role, and determines when actions are allowed. This
talk will discuss the relation between knowledge and action in distributed
systems, and present several theorems that apply across all models of
distributed computation. The connections drawn also relate a semantic
approach, which can be viewed in terms a modal logic, and algorithmic issues.