Implementing Dynamic Gossip in NetKAT References: Malvin Gattinger & Jana Wagemaker: Towards an Analysis of Dynamic Gossip in NetKAT. In: Proceedings of RAMiCS 2018. Jana Wagemaker: Gossip in NetKAT. Master Thesis, ILLC, University of Amsterdam (2017)