P. Abdulla, K. Cerans, B. Jonsson, and Y. Tsay, General decidability theorems for infinite-state systems, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.313-321, 1996.
DOI : 10.1109/LICS.1996.561359

P. A. Abdulla, A. Bouajjani, J. Cederberg, F. Haziza, and A. Rezine, Monotonic Abstraction for Programs with Dynamic Memory Heaps, CAV'08, pp.341-354, 2008.
DOI : 10.1007/978-3-540-70545-1_33

S. Abiteboul, O. Benjelloun, and T. Milo, Positive active XML, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.35-45, 2004.
DOI : 10.1145/1055558.1055564

S. Abiteboul, O. Benjelloun, and T. Milo, The Active XML project: an overview, The VLDB Journal, vol.7, issue.4, pp.1019-1040, 2008.
DOI : 10.1007/s00778-007-0049-y

S. Abiteboul, L. Segoufin, and V. Vianu, Static analysis of active XML systems, PODS '08, pp.221-230, 2008.

A. Blumensath and B. Courcelle, On the monadic second-order transduction hierarchy. HAL Archive, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00287223

P. Bouyer, N. Markey, J. Ouaknine, P. Schnoebelen, and J. Worrell, On termination for faulty channel machines, STACS'08 of Leibniz International Proceedings in Informatics, pp.121-132, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00220515

C. David, Complexity of Data Tree Patterns over XML Documents, MFCS '08, pp.278-289, 2008.
DOI : 10.1007/978-3-540-85238-4_22

A. Deutsch, R. Hull, F. Patrizi, and V. Vianu, Automatic verification of data-centric business processes, Proceedings of the 12th International Conference on Database Theory, ICDT '09, pp.252-267, 2009.
DOI : 10.1145/1514894.1514924

A. Deutsch, L. Sui, and V. Vianu, Specification and verification of data-driven Web applications, Journal of Computer and System Sciences, vol.73, issue.3, pp.442-474, 2007.
DOI : 10.1016/j.jcss.2006.10.006

A. Deutsch, L. Sui, V. Vianu, and D. Zhou, Verification of communicating data-driven web services, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '06, pp.90-99, 2006.
DOI : 10.1145/1142351.1142364

A. Deutsch and V. Vianu, WAVE: Automatic verification of data-driven web services, IEEE Data Eng. Bull, vol.31, issue.3, pp.35-39, 2008.

A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere! Theor, Comput. Sci, vol.256, issue.12, pp.63-92, 2001.

X. Fu, T. Bultan, and J. Su, Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004.
DOI : 10.1016/j.tcs.2004.07.004

B. Genest, A. Muscholl, O. Serre, and M. Zeitoun, Tree Pattern Rewriting Systems, ATVA'08, pp.332-346, 2008.
DOI : 10.1016/S0020-0190(01)00337-4
URL : https://hal.archives-ouvertes.fr/hal-00344551

R. Hull, Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges, OTM '08: Proceedings of the OTM 2008 Confederated International Conferences, pp.1152-1163
DOI : 10.1007/978-3-540-88873-4_17

R. Hull, M. Benedikt, V. Christophides, and S. Jianwen, E-services, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '03, pp.1-14, 2003.
DOI : 10.1145/773153.773154

R. Mayr, Undecidable problems in unreliable computations, Theoretical Computer Science, vol.297, issue.1-3, pp.337-354, 2003.
DOI : 10.1016/S0304-3975(02)00646-1

J. Ne? and P. O. De-mendez, Tree-depth, subgraph coloring and homomorphism bounds, Eur. J. Comb, vol.27, issue.6, pp.1022-1041, 2006.

J. Wang and A. Kumar, A Framework for Document-Driven Workflow Systems, Business Process Management, pp.285-301, 2005.
DOI : 10.1007/11538394_19