, Modeling in Event-B -System and Software Engineering, 2010.
, 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
, Foundations of the B method, Computers and Informatics, vol.22, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099794
, An efficient message passing election algorithm based on mazurkiewicz's algorithm. Fundam, Inform, vol.80, issue.1-3, pp.221-246, 2007.
, Proper two-sided restriction semigroups and partial actions, Journal of Pure and Applied Algebra, vol.216, issue.4, pp.935-949, 2012.
DOI : 10.1016/j.jpaa.2011.10.015
URL : http://dx.doi.org/10.1016/j.jpaa.2011.10.015
, 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
, Embedding Finite and Infinite Words into Overlapping Tiles, 2013.
DOI : 10.1007/978-3-319-09698-8_30
URL : https://hal.archives-ouvertes.fr/hal-00910002
, Algebraic Tools for the Overlapping Tile Product, 2013.
DOI : 10.1007/978-3-319-04921-2_27
URL : https://hal.archives-ouvertes.fr/hal-00879465
, Right PP monoids with central idempotents, Semigroup Forum, vol.6, issue.1, pp.229-237, 1977.
DOI : 10.1007/BF02194941
URL : http://www.digizeitschriften.de/download/PPN362162808_0013/PPN362162808_0013___log29.pdf
, THE FREE AMPLE MONOID, International Journal of Algebra and Computation, vol.19, issue.04, pp.527-554, 2009.
DOI : 10.1142/S0218196709005214
, Communicating Sequential Processing. Prentice-Hall International Series in Computer Science, 1985.
, From right PP monoids to restriction semigroups: a survey, European Journal of Pure and Applied Mathematics, vol.2, issue.1, pp.21-57, 2009.
, The Ehresmann-Schein-Nambooripad Theorem and its successors, European Journal of Pure and Applied Mathematics, vol.5, issue.4, pp.414-450, 2012.
, A sound and complete axiomatization of polymorphic temporal media, 2008.
, Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles, In: Mathematical Found. of Comp. Science (MFCS LNCS, vol.7464, pp.516-528, 2012.
DOI : 10.1007/978-3-642-32589-2_46
URL : https://hal.archives-ouvertes.fr/hal-00671917
, 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
, On Languages of One-Dimensional Overlapping Tiles, Int. Conf. on Current Thrends in Theo. and Prac. of Comp, pp.244-256, 2013.
DOI : 10.1007/978-3-642-35843-2_22
URL : https://hal.archives-ouvertes.fr/hal-00659202
, Overlaping tile automata In: 8th International Computer Science Symposium in Russia (CSR), LNCS, vol.7913, pp.431-443, 2013.
, Walking Automata in Free Inverse Monoids, 2013.
DOI : 10.1007/978-3-662-49192-8_26
URL : https://hal.archives-ouvertes.fr/hal-00738793
, 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
, Multi-scale design of interactive music systems : the libTuiles experiment, Sound and Music Computing (SMC), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00813313
, 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
, 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
, Semigroups and ordered categories. I. The reduced case, Journal of Algebra, vol.141, issue.2, pp.422-462, 1991.
DOI : 10.1016/0021-8693(91)90242-Z
URL : http://doi.org/10.1016/0021-8693(91)90242-z
, Inverse Semigroups : The theory of partial symmetries, World Scientific, 1998.
DOI : 10.1142/3645
, 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
, 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
, -unitary covers for inverse semigroups, Pacific Journal of Mathematics, vol.68, issue.1, pp.178-206, 1977.
DOI : 10.2140/pjm.1977.68.161
URL : https://hal.archives-ouvertes.fr/hal-00599264
, Communication and concurrency, 1989.
, 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
, The natural partial order on a regular semigroup, Proceedings of the Edinburgh Mathematical Society, vol.21, issue.03, pp.23-249, 1980.
DOI : 10.1112/plms/s3-22.4.652
, Free inverse semigroups, Semigroup Forum, vol.70, issue.No. 3, pp.351-359, 1972.
DOI : 10.1007/BF02570809
, On free inverse monoid languages, RAIRO - Theoretical Informatics and Applications, vol.30, issue.4, pp.349-378, 1996.
DOI : 10.1051/ita/1996300403491
URL : http://www.numdam.org/article/ITA_1996__30_4_349_0.pdf
, 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
, Chap. 7. Languages, automata, and logic, Handbook of Formal Languages, pp.389-455, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01117513
, Logic for computer science: The engineering challenge Informatics -10 Years Back, 10 Years Ahead, LNCS, pp.257-267, 2000.