Active XML: A Data-Centric Perspective on Web Services, Journées Bases de Données Avancées, 2002. ,
DOI : 10.1007/978-3-662-10874-1_12
Static analysis of Active XML systems, Symposium on Principles of Database Systems, pp.221-230, 2008. ,
Distributed Active XML and service interfaces, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00429433
Decidability questions for fairness in Petri nets, Symposium on Theoretical Aspects of Computer Science, pp.396-407, 1987. ,
DOI : 10.1007/BFb0039622
Web service composition based on XML nets, Hawaii International Conference on System Sciences (HICSS-42), pp.1-10, 2009. ,
Decidability of home space property, 1989. ,
Decidability Issues for Petri Nets, BRICS Report Series, vol.1, issue.8, pp.143-160, 1994. ,
DOI : 10.7146/brics.v1i8.21662
A taxonomy of fairness and temporal logic problems for Petri nets, Theoretical Computer Science, vol.82, issue.2, pp.341-372, 1991. ,
DOI : 10.1016/0304-3975(91)90228-T
Document based modeling of web services choreographies using Active XML, IEEE International Conference on Web Services, pp.291-298, 2010. ,
Decidability of weak fairness in petri nets, Symposium on Theoretical Aspects of Computer Science International Conference on Concurrency Theory, pp.446-457, 1987. ,
DOI : 10.1007/BFb0029006
Inter-organizational Business Process Management with XML Nets, Petri Net Technology for Communication-Based Systems, pp.243-263, 2003. ,
DOI : 10.1007/978-3-540-40022-6_12
A calculus of communicating systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
Concurrency and automata on infinite sequences, GI- Conference on Theoretical Computer Science, pp.167-183, 1981. ,
DOI : 10.1007/BFb0017309