Keyword:knowledge-based protocols

Papers
When Are Two Gossips the Same? Krzysztof Apt, Davide Grossi and Wiebe van der Hoek In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning