@inproceedings{GQ13,
title = {Knowledge for the Distributed Implementation of Constrained Systems },
author = {Graf, Susanne and Quinton, Sophie},
year = {2013},
booktitle = {10th International Conference on integrated Formal Methods, iFM 2013, Turku, June 10-14. Proceedings},
pages = {77-93},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7940},
team = {DCS},
abstract = {Deriving distributed implementations from global specifications has been extensively studied for different application domains, under different assumptions and constraints. We explore here the knowledge perspective: a process decides to take a local action when it has the knowledge to do so. We discuss typical knowledge atoms that are 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 for either deriving distributed implementations automatically from global specifications on which some constraint is enforced, or for improving the efficiency of existing protocols by exploiting local knowledge. We also argue that such a knowledge-based presentation helps achieving the necessary correctness proofs.},
}
