@inproceedings(AFGJKSW14,
 author       = {Carolyn~Jane Anderson and Nate Foster and Arjun Guha and Jean{-}Baptiste Jeannin and Dexter Kozen and Cole Schlesinger and David Walker},
 year         = {2014},
 title        = {{NetKAT}: semantic foundations for networks},
 booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14},
 publisher    = {{ACM}},
 pages        = {113--126},
 doi          = {10.1145/2535838.2535862},
)
@inproceedings(AGH18,
 author       = {Krzysztof~R. Apt and Davide Grossi and Wiebe van~der Hoek},
 year         = {2018},
 title        = {When Are Two Gossips the Same?},
 editor       = {Gilles Barthe and Geoff Sutcliffe and Margus Veanes},
 booktitle    = {LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
 series       = {EPiC Series in Computing},
 volume       = {57},
 publisher    = {EasyChair},
 pages        = {36--55},
 doi          = {10.29007/ww65},
)
@inproceedings(AGH16,
 author       = {Krzysztof~R. Apt and Davide Grossi and {van der Hoek}, Wiebe},
 year         = {2016},
 title        = {Epistemic Protocols for Distributed Gossiping},
 booktitle    = {Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015)},
 series       = {{EPTCS}},
 volume       = {215},
 pages        = {51--66},
 doi          = {10.4204/EPTCS.215.5},
)
@inproceedings(AKW17,
 author       = {Krzysztof~R. Apt and Eryk Kopczy\'{n}ski and Dominik Wojtczak},
 year         = {2017},
 title        = {On the Computational Complexity of Gossip Protocols},
 booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017},
 pages        = {765--771},
 doi          = {10.24963/ijcai.2017/106},
)
@inproceedings(AW16,
 author       = {Krzysztof~R. Apt and Dominik Wojtczak},
 year         = {2016},
 title        = {On Decidability of a Logic of Gossips},
 booktitle    = {Proceedings of the 15th European Conference, {JELIA} 2016},
 series       = {Lecture Notes in Computer Science},
 volume       = {10021},
 publisher    = {Springer},
 pages        = {18--33},
 doi          = {10.1007/978-3-319-48758-8\_2},
)
@inproceedings(AW17a,
 author       = {Krzysztof~R. Apt and Dominik Wojtczak},
 year         = {2017},
 title        = {Common Knowledge in a Logic of Gossips},
 booktitle    = {Proc. of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017)},
 series       = {{EPTCS}},
 volume       = {251},
 pages        = {10--27},
 doi          = {10.4204/EPTCS.251.2},
)
@inproceedings(AW17,
 author       = {Krzysztof~R. Apt and Dominik Wojtczak},
 year         = {2017},
 title        = {Decidability of Fair Termination of Gossip Protocols},
 booktitle    = {Proc. of the 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 21)},
 series       = {Kalpa Publications in Computing},
 volume       = {1},
 pages        = {73--85},
 doi          = {10.29007/62s4},
)
@article(AW18,
 author       = {Krzysztof~R. Apt and Dominik Wojtczak},
 year         = {2018},
 title        = {Verification of Distributed Epistemic Gossip Protocols},
 journal      = {J. Artif. Intell. Res. (JAIR)},
 volume       = {62},
 pages        = {101--132},
 doi          = {10.1613/jair.1.11204},
)
@inproceedings(ADGH14a,
 author       = {Maduka Attamah and Van~Ditmarsch, Hans and Davide Grossi and Wiebe van~der Hoek},
 year         = {2014},
 title        = {A Framework for Epistemic Gossip Protocols},
 booktitle    = {Proceedings of the 12th European Conference on Multi-Agent Systems (EUMAS 2014), Revised Selected Papers},
 volume       = {8953},
 publisher    = {Springer},
 pages        = {193--209},
 doi          = {10.1007/978-3-319-17130-2\_13},
)
@inproceedings(ADGH14,
 author       = {Maduka Attamah and Van~Ditmarsch, Hans and Davide Grossi and Wiebe van~der Hoek},
 year         = {2014},
 title        = {Knowledge and Gossip},
 booktitle    = {Proceedings of ECAI'14},
 publisher    = {IOS Press},
 pages        = {21--26},
 doi          = {10.3233/978-1-61499-419-0-21},
)
@inproceedings(CHMMR16,
 author       = {Martin~C. Cooper and Andreas Herzig and Faustine Maffre and Fr{\'e}d{\'e}ric Maris and Pierre R{\'e}gnier},
 year         = {2016},
 title        = {A simple account of multiagent epistemic planning},
 booktitle    = {Proceedings of {ECAI} 2016},
 publisher    = {IOS Press},
 pages        = {193--201},
 doi          = {10.3233/978-1-61499-672-9-193},
)
@inproceedings(cooper_simple_2016,
 author       = {Martin~C. Cooper and Andreas Herzig and Faustine Maffre and Fr{\'e}d{\'e}ric Maris and Pierre R{\'e}gnier},
 year         = {2016},
 title        = {Simple {{Epistemic Planning}}: {{Generalised Gossiping}}},
 booktitle    = {Proceedings of {ECAI} 2016},
 series       = {Frontiers in Artificial Intelligence and Applications},
 volume       = {285},
 publisher    = {{IOS Press}},
 pages        = {1563--1564},
 doi          = {10.3233/978-1-61499-672-9-1563},
)
@inproceedings(cooper2018temporal,
 author       = {Martin~C. Cooper and Andreas Herzig and Fr{\'e}d{\'e}ric Maris and Julien Vianey},
 year         = {2018},
 title        = {Temporal Epistemic Gossip Problems},
 booktitle    = {European Conference on Multi-Agent Systems},
 organization = {Springer},
 pages        = {1--14},
 doi          = {10.1007/978-3-030-14174-5\_1},
)
@article(DEPRS17,
 author       = {Hans van Ditmarsch and Jan van Eijck and Pere Pardo and Rahim Ramezanian and Fran{\c{c}}ois Schwarzentruber},
 year         = {2017},
 title        = {Epistemic Protocols for Dynamic Gossip},
 journal      = {J. of Applied Logic},
 volume       = {20},
 number       = {C},
 pages        = {1--31},
 doi          = {10.1016/j.jal.2016.12.001},
)
@article(DEPRS18,
 author       = {Hans van Ditmarsch and Jan van Eijck and Pere Pardo and Rahim Ramezanian and Fran{\c{c}}ois Schwarzentruber},
 year         = {2018},
 title        = {Dynamic Gossip},
 journal      = {Bull. Iran. Math. Soc.},
 pages        = {1--28},
 doi          = {10.1007/s41980-018-0160-4},
)
@inproceedings(van_ditmarsch_parameters_2016,
 author       = {Hans van Ditmarsch and Davide Grossi and Andreas Herzig and Wiebe van~der Hoek and Louwe~B. Kuijer},
 year         = {2016},
 title        = {Parameters for Epistemic Gossip Problems},
 booktitle    = {Proceedings of the 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016)},
 note         = {Available at \url{https://pdfs.semanticscholar.org/74b5/2c025f335ba487cac612019e39ce6c818448.pdf}},
)
@inproceedings(DKS17,
 author       = {Hans van Ditmarsch and Ioannis Kokkinis and Anders Stockmarr},
 year         = {2017},
 title        = {Reachability and Expectation in Gossiping},
 editor       = {Bo~An and Ana Bazzan and Jo{\~a}o Leite and Serena Villata and Leendert van~der Torre},
 booktitle    = {PRIMA 2017: Principles and Practice of Multi-Agent Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {93--109},
 doi          = {10.1007/978-3-319-69131-2\_6},
)
@article(FHMV97,
 author       = {Ronald Fagin and Joseph~Y. Halpern and Yoram Moses and Moshe~Y. Vardi},
 year         = {1997},
 title        = {Knowledge-Based Programs},
 journal      = {Distributed Computing},
 volume       = {10},
 number       = {4},
 pages        = {199--225},
 doi          = {10.1007/s004460050038},
)
@inproceedings(gattinger2018towards,
 author       = {Malvin Gattinger and Jana Wagemaker},
 year         = {2018},
 title        = {Towards an Analysis of Dynamic Gossip in {NetKAT}},
 booktitle    = {International Conference on Relational and Algebraic Methods in Computer Science},
 organization = {Springer},
 pages        = {280--297},
 doi          = {10.1007/978-3-030-02149-8\_17},
)
@article(HHL88,
 author       = {Sandra~M. Hedetniemi and Stephen~T. Hedetniemi and Arthur~L. Liestman},
 year         = {1988},
 title        = {A survey of gossiping and broadcasting in communication networks},
 journal      = {Networks},
 volume       = {18},
 number       = {4},
 pages        = {319--349},
 doi          = {10.1002/net.3230180406},
)
@inproceedings(HM15,
 author       = {Andreas Herzig and Faustine Maffre},
 year         = {2015},
 title        = {How to Share Knowledge by Gossiping},
 booktitle    = {Proc of the 13th European Conference on Multi-Agent Systems (EUMAS 2015), Revised Selected Papers},
 volume       = {9571},
 publisher    = {Springer},
 pages        = {249--263},
 doi          = {10.1007/978-3-319-33509-4\_20},
)
@article(herzig_how_2017,
 author       = {Andreas Herzig and Faustine Maffre},
 year         = {2017},
 title        = {How to Share Knowledge by Gossiping},
 journal      = {AI Communications},
 volume       = {30},
 number       = {1},
 pages        = {1--17},
 doi          = {10.3233/AIC-170723},
)
@article(Hoa78,
 author       = {Charles A.~R. Hoare},
 year         = {1978},
 title        = {Communicating Sequential Processes},
 journal      = {Commun. {ACM}},
 volume       = {21},
 number       = {8},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@book(HKPRU05,
 author       = {Hromkovi{\v{c}}, Juraj and Ralf Klasing and Andrzej Pelc and Peter Ruzicka and Walter Unger},
 year         = {2005},
 title        = {Dissemination of Information in Communication Networks - Broadcasting, Gossiping, Leader Election, and Fault-Tolerance},
 series       = {Texts in Theoretical Computer Science. An {EATCS} Series},
 publisher    = {Springer},
 doi          = {10.1007/b137871},
)
@inproceedings(kempe2003gossip,
 author       = {David Kempe and Alin Dobra and Johannes Gehrke},
 year         = {2003},
 title        = {Gossip-based computation of aggregate information},
 booktitle    = {Proc. of the 44th Annual IEEE Symposium on Foundations of Computer Science},
 series       = {FOCS '03},
 organization = {IEEE},
 pages        = {482--491},
 doi          = {10.1109/SFCS.2003.1238221},
)
@article(KvS07,
 author       = {Anne{-}Marie Kermarrec and Maarten van Steen},
 year         = {2007},
 title        = {Gossiping in distributed systems},
 journal      = {Operating Systems Review},
 volume       = {41},
 number       = {5},
 pages        = {2--7},
 doi          = {10.1145/1317379.1317381},
)
@article(ladin1992providing,
 author       = {Rivka Ladin and Barbara Liskov and Liuba Shrira and Sanjay Ghemawat},
 year         = {1992},
 title        = {Providing high availability using lazy replication},
 journal      = {ACM Transactions on Computer Systems (TOCS)},
 volume       = {10},
 number       = {4},
 pages        = {360--391},
 doi          = {10.1145/138873.138877},
)
@book(Mil80,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {92},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@article(San09,
 author       = {Davide Sangiorgi},
 year         = {2009},
 title        = {On the origins of bisimulation and coinduction},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {31},
 number       = {4},
 pages        = {15:1--15:41},
 doi          = {10.1145/1516507.1516510},
)
@inproceedings(spakowski2000theta,
 author       = {Holger Spakowski and J{\"o}rg Vogel},
 year         = {2000},
 title        = {$\Theta^p_2$-Completeness: A Classical Approach for New Results},
 booktitle    = {International Conference on Foundations of Software Technology and Theoretical Computer Science},
 organization = {Springer},
 pages        = {348--360},
 doi          = {10.1007/3-540-44450-5\_28},
)
@article(tijdeman:1971,
 author       = {Robert Tijdeman},
 year         = {1971},
 title        = {On a telephone problem},
 journal      = {Nieuw Archief voor Wiskunde},
 volume       = {3(XIX)},
 pages        = {188--192},
)
@article(wagner1987more,
 author       = {Klaus~W Wagner},
 year         = {1987},
 title        = {More complicated questions about maxima and minima, and some closures of NP},
 journal      = {Theoretical Computer Science},
 volume       = {51},
 number       = {1-2},
 pages        = {53--80},
 doi          = {10.1016/0304-3975(87)90049-1},
)