Multicast Algebraic Formal Modelling using ACP - Study on PIM Dense Mode and Sparse Mode

Abstract

Abstract: Video streaming is becoming ever important regarding Internet traffic running on either fixed or mobile networks worldwide. A great stake of that traffic is transferred by means of multicast in order to optimise network resources and one of the most popular protocols aimed at multicast communications is called Protocol Independent Multicast (PIM). This paper focuses on building up some models for its most common types, this is, PIM Dense Mode and PIM Sparse Mode, by using manual algebraic derivations, following the Algebra of Communicating Processes (ACP) axioms. The purpose of such models is to achieve a simplified approach, yet as close to specifications as possible, to PIM dynamics for the different scenarios presented.