output publications or other works Fat Tree Algebraic Formal Modelling applied to Fog Computing Conference Paper
