Chafia Bouanaka, Faiza Belala, Kamel Barkaoui. A tile logic-based semantics for mobile software architectures. IJCCBS, 2(3/4):288-308, 2011. [doi]
@article{BouanakaBB11, title = {A tile logic-based semantics for mobile software architectures}, author = {Chafia Bouanaka and Faiza Belala and Kamel Barkaoui}, year = {2011}, doi = {10.1504/IJCCBS.2011.042330}, url = {http://dx.doi.org/10.1504/IJCCBS.2011.042330}, researchr = {https://researchr.org/publication/BouanakaBB11}, cites = {0}, citedby = {0}, journal = {IJCCBS}, volume = {2}, number = {3/4}, pages = {288-308}, }