1. Lecture Notes in Computer Science;L Akroun,2014
2. Belkhir, W., Chevalier, Y., Rusinowitch, M.: Fresh-variable automata: application to service composition. In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC, pp. 153–160. IEEE Computer Science (2013)
3. Belkhir, W., Chevalier, Y., Rusinowitch, M.: Parametrized automata simulation and application to service composition. J. Symb. Comput. (2014). http://www.sciencedirect.com/science/article/pii/S0747717114000972
4. Belkhir, W., Rossi, G., Rusinowitch, M.: A parametrized propositional dynamic logic with application to service synthesis. In: Tenth conference on “Advances in Modal Logic,” 5–8 August 2014, Groningen, The Netherlands, pp. 34–53 (2014)
5. Berardi, D., Cheikh, F., Giacomo, G.D., Patrizi, F.: Automatic service composition via simulation. Int. J. Found. Comput. Sci. 19(2), 429–451 (2008)