Broadcast and aggregation in BBC

TL;DR

This paper introduces the BBC process calculus, a formal framework that models broadcast and aggregation communication modes in distributed systems, enabling reasoning about hierarchical network structures.

Contribution

The paper presents the BBC process calculus, specifically designed to model and analyze broadcast and aggregation in distributed systems.

Findings

Demonstrates expressive power of BBC calculus in hierarchical networks

Provides formal reasoning tools for broadcast and aggregation processes

Shows applicability to distributed system analysis

Abstract

In distributed systems, where multi-party communication is essential, two communication paradigms are ever present: (1) one-to-many, commonly denoted as broadcast; and (2) many-to-one denoted as aggregation or collection. In this paper we present the BBC process calculus, which inherently models the broadcast and aggregation communication modes. We then apply this process calculus to reason on hierarchical network structure and provide examples on its expressive power.