CSP Based Formal Specification of a Resource Allocation for Large-Scale Fog Computing. - Youcef Hammal; Khaled Zeraouilia; Lynda Mokdad (MASCOTS, 2025)