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

DOI10.1007/978-3-030-02149-8_17MaRDI QIDQ1617832zbMATH OpenOpenAlexFDO

Authors Malvin Gattinger, Jana Wagemaker

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)

Recommendations

• A coalgebraic decision procedure for NetKAT
• Dynamic gossip
• Probabilistic NetKAT
• Gossip in dynamic networks
• The logic of gossiping

Cited in

(4)

• Propositional gossip protocols
• Minimal number of calls in propositional protocols
• Open problems in a logic of gossips
• DyNetKAT: an algebra of dynamic networks

Describes a project that uses

Uses Software

• NetKAT

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1617832)