Gossiping Cats.

  • 2018-11-01

Many common decision problems about gossip graphs can be reduced to checks of NetKAT equivalences.

Malvin Gattinger & Jana Wagemaker: Towards an Analysis of Dynamic Gossip in Netkat. RAMiCS 2018. https://doi.org/cwhw