A. Abdulla, A. Bouajjani, L. Holík, L. Kaati, and T. Vojnar, Computing Simulations over Tree Automata, TACAS, pp.93-108, 2008.
DOI : 10.1007/978-3-540-78800-3_8

A. Abdulla, Y. Chen, L. Holík, R. Mayr, and T. Vojnar, When Simulation Meets Antichains, TACAS, pp.158-174, 2010.
DOI : 10.1007/978-3-642-12002-2_14
URL : https://hal.archives-ouvertes.fr/inria-00460294

M. Anselmo, D. Giammarresi, and M. Madonia, A computational model for tiling recognizable two-dimensional languages, Theoretical Computer Science, vol.410, issue.37, pp.3520-3529, 2009.
DOI : 10.1016/j.tcs.2009.03.016

P. Aziz-abdulla and A. Legay, Tree regular model checking: A simulation-based approach, The Journal of Logic and Algebraic Programming, vol.69, issue.1-2, pp.93-121, 2006.
DOI : 10.1016/j.jlap.2006.02.001

[. Bustan and O. Grumberg, Simulation-based minimization, ACM Transactions on Computational Logic, vol.4, issue.2, pp.181-206, 2003.
DOI : 10.1145/635499.635502

S. Bozapalidis and A. Grammatikopoulou, Recognizable Picture Series, Journal of Automata, Languages and Combinatorics, vol.10, issue.23, pp.159-183, 2005.

G. Cécé and A. Giorgetti, Simulations over Two-Dimensional On-Line Tessellation Automata, Developments in Language Theory, pp.141-152, 2011.
DOI : 10.1007/978-3-642-22321-1_13

A. Cherubini and M. Pradella, Picture Languages: From Wang Tiles to 2D Grammars
DOI : 10.1007/978-3-642-03564-7_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.547.5425

L. De, P. , and S. Varricchio, Recognizability of Rectangular Pictures by Wang Systems, Journal of Automata, Languages and Combinatorics, vol.2, issue.4, pp.269-288, 1997.

D. Giammarresi and A. Restivo, Two-Dimensional Languages, Handbook of Formal Languages, pp.215-267, 1997.
DOI : 10.1007/978-3-642-59126-6_4
URL : https://hal.archives-ouvertes.fr/hal-00541890

K. Inoue and A. Nakamura, Some properties of two-dimensional on-line tessellation acceptors, Information Sciences, vol.13, issue.2, pp.95-121, 1977.
DOI : 10.1016/0020-0255(77)90023-8

K. Lindgren, C. Moore, and M. Nordahl, Complexity of Two-Dimensional Patterns, Journal of Statistical Physics, vol.91, issue.5/6, pp.909-951, 1998.
DOI : 10.1023/A:1023027932419

V. Lonati and M. Pradella, Deterministic recognizability of picture languages with Wang automata, Discrete Math. & Theor. Comput. Sci, vol.12, issue.4, pp.73-94, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00990448

[. Milner, An Algebraic Definition of Simulation Between Programs, Proc. of the 2nd Int. Joint Conf. on Artificial intelligence, pp.481-489, 1971.

W. Thomas and . Uniform, Uniform and nonuniform recognizability, Theoretical Computer Science, vol.292, issue.1, pp.299-316, 2003.
DOI : 10.1016/S0304-3975(01)00229-8
URL : http://doi.org/10.1016/s0304-3975(01)00229-8