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]

Authors

Chafia Bouanaka

This author has not been identified. Look up 'Chafia Bouanaka' in Google

Faiza Belala

This author has not been identified. Look up 'Faiza Belala' in Google

Kamel Barkaoui

This author has not been identified. Look up 'Kamel Barkaoui' in Google