A. Aldini, M. Bernardo, and F. Corradini, A process algebraic approach to software architecture design, 2010.
DOI : 10.1007/978-1-84800-223-4

S. Bistarelli, U. Montanari, and F. Rossi, Semiring-based constraint satisfaction and optimization, Journal of the ACM, vol.44, issue.2, pp.201-236, 1997.
DOI : 10.1145/256303.256306
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.3513

A. Boronat and J. Meseguer, An algebraic semantics for MOF, Proceedings of the International Conference on Fundamental Aspects of Software Engineering (FASE'08), pp.377-391, 2008.
DOI : 10.1007/s00165-009-0140-9
URL : https://hal.archives-ouvertes.fr/hal-00567269

R. Bruni, A. Lluch-lafuente, U. Montanari, and E. Tuosto, Style based architectural reconfigurations, EATCS, vol.94, pp.161-180, 2008.

A. Coles, M. Fox, K. Halsey, D. Long, and A. Smith, Managing concurrency in temporal planning using planner-scheduler interaction, Artificial Intelligence, vol.173, issue.1, pp.1-44, 2009.
DOI : 10.1016/j.artint.2008.08.003

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of Algebraic Graph Transformation, 2006.

F. Giunchiglia and P. Traverso, Planning as Model Checking, Procceedings of the 5th European Conference on Planning (ECP'99), volume 1809 of LNCS, pp.1-20, 2000.
DOI : 10.1007/10720246_1

M. Hölzl, M. Meier, and M. Wirsing, Which soft constraints do you prefer?, Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08), pp.189-205, 2008.

J. Katoen, Advances in Probabilistic Model Checking, International Conference on Verification, Model Checking, and Abstract Interpretation, 2010.
DOI : 10.1007/978-3-642-11319-2_5

N. Kumar, K. Sen, J. Meseguer, and G. Agha, A Rewriting Based Model for Probabilistic Distributed Object Systems, International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'03), pp.32-46, 2003.
DOI : 10.1007/3-540-45657-0_17

I. Lanese and U. Montanari, Synchronization Algebras with Mobility for Graph Transformations, Proceedings of the 3rd Joint Workshops on Foundations of Global Ubiquitous Computing, pp.43-60, 2005.
DOI : 10.1016/j.entcs.2005.05.004

A. , L. Lafuente, and U. Montanari, Quantitative mu-calculus and CTL defined over constraint semirings, TCS, vol.346, issue.1, pp.135-160, 2005.

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155359, 1992.
DOI : 10.1016/0304-3975(92)90182-F

G. D. Plotkin, A structural approach to operational semantics, Journal of Logic and Algebraic Programming, pp.60-6117, 2004.

G. Rote, Ein systolic-array-Algorithmus f??r das algebraische Wegproblem (k??rzeste Wege; Matrizeninversion), Computing, vol.10, issue.3, 1985.
DOI : 10.1007/BF02253318

S. J. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, 2003.

E. Seidewitz, What models mean, IEEE Software, vol.20, issue.5, pp.26-32, 2003.
DOI : 10.1109/MS.2003.1231147

A. Verdejo and N. Martí-oliet, Executable structural operational semantics in Maude, The Journal of Logic and Algebraic Programming, vol.67, issue.1-2, pp.226-293, 2006.
DOI : 10.1016/j.jlap.2005.09.008