2016/02/11 by Hans Hüttel, Nuno Pratas
Computer Science · #cs.LO
paper · pdf · doi:10.4204/eptcs.203.2
published as EPTCS 203, 2016, pp. 15-28 · In Proceedings PLACES 2015, arXiv:1602.03254
arxiv created 2016/02/11 · arxiv updated 2016/02/12
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.