Algebraic modelling of a generic Fog scenario for moving IoT devices Conference Paper 2020 Congress communication uri icon