GitHub repository: Jannis17/gossip_protocol_expectation
Primary language: C
Description: Calculating the reachable states and the expected duration for some gossip protocols