Module P2p.S

module type NODE_ID = sig ... end

Node ID

module type GROUP_ID = sig ... end

Group ID

module type MSG_ID = sig ... end

Message ID

module type NODE = sig ... end

Node

module type GROUP = sig ... end

Group

module type VIEW = sig ... end

Gossip view

module type GOSSIP = sig ... end

Gossip protocol

module type DISSEMINATION = sig ... end

Dissemination of messages within a group

module type GOSSIP_DISSEM = sig ... end

Gossip + Dissemination combined

module type SUBSCRIPTION = sig ... end

Subscriptions of this node to groups

module type PUBSUB = sig ... end

Publish-subscribe message dissemination