output publications or other works 24TH INTERNATIONAL CONFERENCE ELECTRONICS 2020 (Congress Organization) Event Formal Algebraic Description of a Fog/IoT Computing Environment Conference Paper MQTT Algebraic Formal Modelling using ACP Conference Paper Modelling a Leaf and Spine Topology for VM Migration in Fog Computing Conference Paper
