R. Bruni, Tile logic for Synchronized Rewriting of Concurrent Systems, 1999.

J. Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency, Journal of Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.

C. Jerad and K. Barkaoui, On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), pp.202-208, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01124990

C. Jerad, K. Barkaoui, and G. Touzi, A. Hierarchical Verification in Maude of LfP S REFERENCES "Architecture-Driven eedings of the 11th
URL : https://hal.archives-ouvertes.fr/hal-01125691

, Systems (SCS'06)

P. Zhang and H. , Comparison of Model Checking Software Architecture Techniques Journal o ystems and Softwa l

, Lecture Notes, pp.156-170

D. C. Lukham, Rapide: A language Toolset for Simulation of Distributed System by Partial Ordering of Events, DIMACS Workshop on Partial Order Methods in Verification (POMIV), pp.329-358, 1996.

R. J. Allen, Formal Approach to Software Architecture, 1997.

C. Braga and A. Sztajnberg, Towards a Rewriting Semantics for a Software Architecture Description Language, Proceedings of the Brazilian Workshop on Formal Methods, vol.95, pp.149-168, 2004.

R. Bruni, J. Fiadeiro, I. Lanese, A. Lopes, and U. Montanari, New Insights into the Algebraic Properties of Architectural Connectors, International Federation for Information Processing, vol.155, pp.367-380, 2004.

R. Bruni, U. Montanari, and U. Sassone, Observational Congruences for Dynamically Reconfigurable Tile Systems, Theoretical Computer Science, vol.335, issue.2-3, pp.331-372, 2005.

, op on Distributed Systems, vol.28, 1999.

U. Tranand and . Montanari, Mapping Tile Logic, for Software Architecture Styles of Distributed Systems, vol.38, 2009.

F. Arbab, R. Bruni, D. Clarke, I. Lanese, and U. Montanari, Tiles for Reo, Lecture Notes in Computer Science, vol.5486, pp.37-55, 2009.

A. Choutri, F. Belala, and K. Barkaoui, Towards a Tile Based LfP Semantics, Second International Conference on Research Challenges in Information Science (RCIS 2008), pp.9-16, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01125535

C. Bouanaka, A. Choutri, and F. Belala, On Generating Tile System for Software Architecture: Case of a Collaborative Application Session, ICSOFT'07, pp.123-126, 2007.

F. Gilliers, Développement par prototypage et Génération de Code à partir de LfP, un langage de modélisation de haut niveau, 2005.

R. Bruni, J. Meseguer, and U. Montanari, Tiling sactions in Rewriting Logic, Electronic Notes in Theoretical Computer Science, vol.71, pp.90-109, 2004.

J. Meseguer, Rewriting Logic, Lecture Notes in Computer Science, vol.1376, pp.62-91, 1998.

M. Clavel, F. Duran, E. Eker, S. N. Marti-oliet, P. J. Lincoln et al., Maude 2.0 Manual, 2003.

S. Eker, J. Meseguer, and A. Sridharanarayanan, The Maude LTL Model Checker and Its Implementation, Proceedings of the 10th International Conference on Model Checking Software, pp.230-234, 2003.

R. Bruni, A. Liuch, and U. Montanari, Hierarchical Design Rewriting with Maude, Electronic Notes Theoretical Computer Science, vol.2, pp.45-62