"Towards an Analysis of Dynamic Gossip in Netkat."

Malvin Gattinger, Jana Wagemaker (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics