Pedro Juan Roig, Salvador Alcaraz, Katja Gilly. Multicast Algebraic Formal Modelling using ACP - Study on PIM Dense Mode and Sparse Mode. In Christian Callegari, Mohammad S. Obaidat, Enrique Cabello, editors, Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2016) - Volume 1: DCNET, Madrid, Spain, July 24-26, 2017. pages 57-68, SciTePress, 2017. [doi]
Abstract is missing.