A tile logic-based semantics for mobile software architectures

Chafia Bouanaka, Faiza Belala, Kamel Barkaoui. A tile logic-based semantics for mobile software architectures. IJCCBS, 2(3/4):288-308, 2011. [doi]

Abstract

Abstract is missing.