S. Abramsky, A structural approach to reversible computation, Theoretical Computer Science, vol.347, issue.3, pp.441-464, 2005.
DOI : 10.1016/j.tcs.2005.07.002
URL : http://doi.org/10.1016/j.tcs.2005.07.002

J. Abrial, Modeling in Event-B -System and Software Engineering, 2010.

A. Arnold, Systèmes de transitions finis et sémantique des processus communicants, Etudes et Recherches en Informatiques. Masson, 1992.
DOI : 10.1051/ita/1981150201031
URL : http://archive.numdam.org/article/ITA_1981__15_2_103_0.pdf

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

D. Cansell and D. Méry, Foundations of the B method, Computers and Informatics, vol.22, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099794

J. Chalopin and Y. Métivier, A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs, Mathematical Foundations of Computer Science (MFCS 2005), pp.212-223, 2005.
DOI : 10.1007/11549345_19
URL : https://hal.archives-ouvertes.fr/hal-00308135

K. Chandy and J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984.
DOI : 10.1145/1780.1804

E. W. Dijkstra, Hierarchical ordering of sequential processes, Acta Informatica, vol.1, issue.2, pp.115-138, 1971.
DOI : 10.1007/BF00289519

J. Goubault-larrecq, Musings around the geometry of interaction, and coherence, Theoretical Computer Science, vol.412, issue.20, pp.4121998-2014, 2011.
DOI : 10.1016/j.tcs.2010.12.023

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, Walking Automata in Free Inverse Monoids, LaBRI, 2013.
DOI : 10.1007/978-3-662-49192-8_26
URL : https://hal.archives-ouvertes.fr/hal-00738793

D. Janin, F. Berthaut, M. Desainte-catherine, Y. Orlarey, and S. Salvati, The T-calculus, Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, FARM '13, 2013.
DOI : 10.1145/2505341.2505347
URL : https://hal.archives-ouvertes.fr/hal-00789189

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

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

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

W. D. Munn, Free inverse semigroups, Proceeedings of the London Mathematical Society, vol.29, issue.3, pp.385-404, 1974.
DOI : 10.1007/bf02572897
URL : http://archive.numdam.org/article/SD_1971-1972__25_2_A6_0.pdf

A. Pnueli and R. Rosner, Distributed reactive systems are hard to synthesize, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science, pp.746-757, 1990.
DOI : 10.1109/FSCS.1990.89597

H. E. Scheiblich, Free inverse semigroups, Semigroup Forum, vol.70, issue.No. 3, pp.351-359, 1972.
DOI : 10.1007/BF02570809

W. Thomas, Logic for computer science: The engineering challenge Informatics -10 Years Back, 10 Years Ahead, LNCS, pp.257-267, 2000.