Keyword:gossip protocols

Publications
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
Decidability of Fair Termination of Gossip Protocols Krzysztof Apt and Dominik Wojtczak In:IWIL Workshop and LPAR Short Presentations