F. Berthaut, D. Janin, and B. Martin, ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH, International Journal of Semantic Computing, vol.06, issue.04, pp.409-427, 2012.
DOI : 10.1142/S1793351X12400132

URL : https://hal.archives-ouvertes.fr/hal-00698963

P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, 1986.

B. Courcelle and J. Engelfriet, Graph structure and monadic second-order logic, a language theoretic approach, volume 138 of Encyclopedia of mathematics and its applications, 2012.

B. Courcelle and P. Weil, The recognizability of sets of graphs is a robust property, Theoretical Computer Science, vol.342, issue.2-3, pp.173-228, 2005.
DOI : 10.1016/j.tcs.2005.03.018

URL : https://hal.archives-ouvertes.fr/hal-00096607

V. Danos and L. Regnier, Reversible, irreversible and optimal lambda-machines. Theoretical Comp, Science, vol.227, issue.12, pp.79-97, 1999.

A. Dicky and D. Janin, Mod??lisation alg??brique du d??ner des philosophes, Modélisation des Systèmes Réactifs (MSR), in Journal Européen des Systèmes Automatisés (JESA, 2013.
DOI : 10.3166/jesa.47.29-46

D. Janin, Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles, Mathematical Found. of Comp. Science (MFCS), pp.516-528, 2012.
DOI : 10.1007/978-3-642-32589-2_46

URL : https://hal.archives-ouvertes.fr/hal-00671917

D. Janin, Vers une modélisation combinatoire des structures rythmiques simples de la musique, Revue Francophone d'Informatique Musicale (RFIM), 2012.

D. Janin, Algebras, Automata and Logic for Languages of Labeled Birooted Trees, In Int. Col. on Aut., Lang. and Programming LNCS, vol.7966, pp.318-329, 2013.
DOI : 10.1007/978-3-642-39212-2_29

URL : https://hal.archives-ouvertes.fr/hal-00784898

D. Janin, On Languages of One-Dimensional Overlapping Tiles, Int. Conf. on Current Thrends in Theo. and Prac. of Comp. Science (SOFSEM), pp.244-256, 2013.
DOI : 10.1007/978-3-642-35843-2_22

URL : https://hal.archives-ouvertes.fr/hal-00659202

D. Janin, Overlaping tile automata, 8th International Computer Science Symposium in Russia (CSR), pp.431-443, 2013.

D. Janin, Walking Automata in Free Inverse Monoids, 2013.
DOI : 10.1007/978-3-662-49192-8_26

URL : https://hal.archives-ouvertes.fr/hal-00738793

D. Janin, Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems, LNCS, vol.8327, pp.7-20, 2014.
DOI : 10.1007/978-3-319-04298-5_2

URL : https://hal.archives-ouvertes.fr/hal-00879463

D. Janin, F. Berthaut, and M. Desaintecatherine, Multi-scale design of interactive music systems : the libTuiles experiment, 10th Conference on Sound and Music Computing (SMC), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00813313

D. Jongh and A. Troelstra, On the connection of partially ordered sets with some pseudo-Boolean algebras, Indagationes Mathematicae (Proceedings), vol.69, pp.317-329, 1966.
DOI : 10.1016/S1385-7258(66)50036-1

J. Kellendonk, The Local Structure of Tilings and Their Integer Group of Coinvariants, Communications in Mathematical Physics, vol.187, issue.1, pp.115-157, 1997.
DOI : 10.1007/s002200050131

J. Kellendonk and M. V. Lawson, Tiling Semigroups, Journal of Algebra, vol.224, issue.1, pp.140-150, 2000.
DOI : 10.1006/jabr.1999.8120

URL : http://doi.org/10.1006/jabr.1999.8120

P. Körtesi, S. Radeleczki, and S. Szilágyi, Congruences and isotone maps on partially ordered sets, Mathematica Pannonica, vol.16, issue.1, pp.39-55, 2005.

M. V. Lawson, Inverse Semigroups : The theory of partial symmetries, World Scientific, 1998.
DOI : 10.1142/3645

M. V. Lawson, McAlister Semigroups, Journal of Algebra, vol.202, issue.1, pp.276-294, 1998.
DOI : 10.1006/jabr.1997.7301

URL : http://doi.org/10.1006/jabr.1997.7301

S. W. Margolis and J. Pin, Languages and inverse semigroups, In Int. Col. on Aut., Lang. and Programming LNCS, vol.172, pp.337-346, 1984.
DOI : 10.1007/3-540-13345-3_30

D. B. Mcalister, Inverse semigroups which are separated over a subsemigroup, Transactions of the American Mathematical Society, vol.182, pp.85-117, 1973.
DOI : 10.1090/S0002-9947-1973-0327952-0

J. Pin, Algebraic tools for the concatenation product, Theoretical Computer Science, vol.292, issue.1, pp.317-342, 2003.
DOI : 10.1016/S0304-3975(01)00230-4

URL : https://hal.archives-ouvertes.fr/hal-00112635

S. Shelah, The Monadic Theory of Order, The Annals of Mathematics, vol.102, issue.3, pp.379-419, 1975.
DOI : 10.2307/1971037

P. V. Silva, On free inverse monoid languages, RAIRO - Theoretical Informatics and Applications, vol.30, issue.4, pp.349-378, 1996.
DOI : 10.1051/ita/1996300403491

J. B. Stephen, Presentations of inverse monoids, Journal of Pure and Applied Algebra, vol.63, issue.1, pp.81-112, 1990.
DOI : 10.1016/0022-4049(90)90057-O

W. Thomas, Chap. 7. Languages, automata, and logic, Handbook of Formal Languages, pp.389-455, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01117513

W. Thomas, Ehrenfeucht games, the composition method, and the monadic theory of ordinal words, Structures in Logic and Computer Science, pp.118-143, 1997.
DOI : 10.1007/3-540-63246-8_8