Algebraic descriptions of mobile networks: An example