Towards an analysis of dynamic gossip in Net\textsc{kat}

DOI10.1007/978-3-030-02149-8_17OpenAlexW2895178743MaRDI QIDQ1617832

Jana Wagemaker, Malvin Gattinger

Publication date: 8 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02149-8_17

zbMATH Keywords

dynamic gossipKleene algebra with tests (KAT)netkatnetwork programming languagepeer-to-peer communication

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (3)

Propositional gossip protocols ⋮ Minimal number of calls in propositional protocols ⋮ Unnamed Item

Uses Software

• NetKAT

This page was built for publication: Towards an analysis of dynamic gossip in Net\textsc{kat}