[Коллоквиум]: Knowledge-based Verification and Construction of Distributed and Constrained Systems

Speaker - Susanne Graf, VERIMAG, Grenoble We explore here the problem from the knowledge perspective: a process can decide to execute a local action when it has the knowledge to do so. We discuss typical knowledge atoms, useful for expressing local enabling conditions with respect to different notions of correctness, as well as different means for obtaining knowledge and for representing it locally in an efficient manner. Our goal is to use such a knowledge-based representation of the distribution problem