Merging Hierarchically-Structured Documents in Workflow Systems, Electronic Notes in Theoretical Computer Science, vol.203, issue.5, pp.3-24, 2008. ,
DOI : 10.1016/j.entcs.2008.05.017
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition, Theoretical Computer Science, vol.480, issue.2013, pp.1-25 ,
DOI : 10.1016/j.tcs.2013.02.007
URL : https://hal.archives-ouvertes.fr/hal-00915031
« Regular Tree and Regular Hedge Languages over Unranked Alphabets, 2001. ,
Opacity generalised to transition systems, International Journal of Information Security, vol.79, issue.3???4, pp.421-435, 2008. ,
DOI : 10.1007/s10207-008-0058-x
A Data-centric Approach to Modeling Business Operations and Processes, 2009. ,
« Monitoring information flow by diagnosis techniques, European Control Conference, p.9, 2009. ,
The Mathematical Theory of Context-Free Languages, 1966. ,
Semigroups, Presburger formulas, and languages, Pacific Journal of Mathematics, vol.16, issue.2, pp.285-296, 1966. ,
DOI : 10.2140/pjm.1966.16.285
Information hiding, anonymity and privacy: a modular approach, Journal of Computer Security, vol.12, issue.1, pp.3-36, 2004. ,
DOI : 10.3233/JCS-2004-12102
Opacity of discrete event systems and its applications, Automatica, vol.47, issue.3, pp.496-500, 2011. ,
DOI : 10.1016/j.automatica.2011.01.002
Aspects mathématiques des réseaux de Petri, 1988. ,