Malvin Gattinger, Jana Wagemaker. Towards an Analysis of Dynamic Gossip in Netkat. In Jules Desharnais, Walter Guttmann, Stef Joosten, editors, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Volume 11194 of Lecture Notes in Computer Science, pages 280-297, Springer, 2018. [doi]
Abstract is missing.