Jiaqi Yin, Huibiao Zhu. The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 133-142, IEEE, 2022. [doi]
Abstract is missing.