Multicast Algebraic Formal Modelling Using ACP Conference Paper 2017 Congress communication uri icon